Version 5 (modified by ross@…, 12 years ago) (diff)

ticket link

Generalised deriving for newtype


Brief Explanation

The deriving clause on a newtype can list any class. For any class except Read, Show, Typeable or Data, the instance is "the same" as for the wrapped type.


one area where this is particularly useful is when dealing with monad transformers. for example the jhc typechecking monad is declared as follows

data TcEnv = TcEnv { ... }

newtype TI a = TI (ReaderT TcEnv IO a)
    deriving(Monad,MonadFix,MonadIO,MonadReader TcEnv,Functor) 

and we end up with a complete monad with every interesting instance defined for free.

It is also good for selectively hiding properties of monad transformers

-- | Unique integer generator monad transformer.
newtype UniqT m a = UniqT (StateT Int m a)
    deriving(Monad,MonadTrans, Functor, MonadFix, MonadPlus)  

notice that while it uses a state transformer internally, the MonadState? class is intentionally left out of the deriving clause. this means that calls to the state monad will pass through the UniqT making stacking monads signifigantly easier.

A quick survey shows 34 different special purpose monads created in this fashion in jhc. This technique would not be possible without newtype deriving.



  • saves on repetitious boilerplate, significantly lowering the cost of newtype


  • difficult to specify without saying "the same representation"