28 Dec
2013
28 Dec
'13
6:46 p.m.
On Sat, Dec 28, 2013 at 5:13 PM, Tom Ellis
data Wrap m n a = Wrap (m (n a))
This is Compose [0] from traversable. It doesn't have a Monad instance, though... Erik [0] http://hackage.haskell.org/package/transformers-0.3.0.0/docs/Data-Functor-Co...