2008-07-08 [長年日記]
λ. GHCの“Generalised derived instances for newtypes”便利かも
これまでGHC拡張の Generalised derived instances for newtypes はそんなに便利だとは思っていなかったけど、<URL:http://lambda-the-ultimate.org/node/2749#comment-41075> の以下の例を見て、これは便利かもと思った。
newtype X a = X (ReaderT XConf (StateT XState IO) a) deriving (Functor, Monad, MonadIO, MonadState XState, MonadReader XConf)