On 3/13/07, Taral <[EMAIL PROTECTED]> wrote:
And it doesn't work. I know what I want it to do, how do I express it right?
This is closer, but still doesn't work: class (Monad i, Monad o) => MonadTrans' i o where lift' :: i a -> o a instance Monad m => MonadTrans' m m where lift' = id instance (MonadTrans t, MonadTrans' a b) => MonadTrans' a (t b) where lift' = lift . lift' -- Taral <[EMAIL PROTECTED]> "You can't prove anything." -- Gödel's Incompetence Theorem _______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
