On 3/13/07, Taral <[EMAIL PROTECTED]> wrote:
This is closer, but still doesn't work:
And this works, and I don't know why: class MonadTrans' i o where lift' :: (Monad i, Monad o) => i a -> o a instance Monad m => MonadTrans' m m where lift' = id instance (MonadTrans t, Monad b, MonadTrans' a b) => MonadTrans' a (t b) where lift' = lift . lift' Help? -- Taral <[EMAIL PROTECTED]> "You can't prove anything." -- Gödel's Incompetence Theorem _______________________________________________ Haskell mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell
