[Haskell-cafe] Why do I have to specify (Monad m) here again?

[Bulat Ziganshin]

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:Bulat.Ziganshin at gmail.com