
8 Mar
2012
8 Mar
'12
4:43 a.m.
On Thu, Mar 8, 2012 at 10:18 AM, Michael Snoyman
My solution was to create a new typeclass[2]:
class MonadLift base m | m -> base where lift :: base a -> m a
Have you seen: http://hackage.haskell.org/package/transformers-base