There have been some discussions of augmentations of the monad
transformer library. I at least know there was a discussion regarding
strictness of state/value components in the state monad transformer (I
must admit I didn't track the conclusion of that one).
I have another small mtl complaint:
On Sun, Jan 21, 2007 at 12:37:02PM -0600, Nicolas Frisby wrote:
I have another small mtl complaint: ReaderT, for example, requires the
base type to be a Monad in order to make it a Functor. So it's Monad m
= Functor (ReaderT r m) instead of Functor f = Functor (ReaderT r
f), which is what's