[Haskell-cafe] Why do I have to specify (Monad m) here again?
bulat.ziganshin at gmail.com
Sun Feb 18 09:06:33 EST 2007
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
instance (MonadIO m) => GetMV m c where
if i not yet proposed you to read
then now it is time to do it :)
Bulat mailto:Bulat.Ziganshin at gmail.com
More information about the Haskell-Cafe