8 Mar
2012
8 Mar
'12
5:46 p.m.
2012/3/8 Gábor Lehel <illissius@gmail.com>:
On Thu, Mar 8, 2012 at 10:18 AM, Michael Snoyman <michael@snoyman.com> 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' :)