Name: do { you <- even; lift } 2013-01-29 0:11
do { you <- even; lift }
:: forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(Integral (m a), Monad m, MonadTrans t) =>
m a -> t m a
do { you <- even; lift }
:: forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(Integral (m a), Monad m, MonadTrans t) =>
m a -> t m a