
8 Mar
2012
8 Mar
'12
9:46 a.m.
2012/3/8 Gábor Lehel
On Thu, Mar 8, 2012 at 10:18 AM, Michael Snoyman
wrote: 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
Sorry, that seems to be similar but different. AFAICT MonadBase actually lifts from the bottom-most, while MonadLift only goes one level down? Confusingly they both use the word 'base' :)