On Thu, Mar 8, 2012 at 10:18 AM, Michael Snoyman <michael at 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