Hello Marc, Sunday, February 18, 2007, 5:21:36 PM, you wrote:
> Why do I have to specify (Monad m) here again? > class (Monad m) =>> GetMV m a where > instance GetMV m c where because you can find another way to ensure that m is monad. for example, instance (MonadIO m) => GetMV m c where if i not yet proposed you to read http://haskell.org/haskellwiki/OOP_vs_type_classes then now it is time to do it :) -- Best regards, Bulat mailto:[EMAIL PROTECTED] _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
