Jón Fairbairn [EMAIL PROTECTED] writes:
John Meacham [EMAIL PROTECTED] writes:
The problem is you can't have working code change its behavior because
of a module import (other than failing), say, by bringing an instance
into scope that wasn't before. There is no way to have a monad
On 2006-08-15 at 16:25CDT Taral wrote:
On 8/15/06, Bulat Ziganshin [EMAIL PROTECTED] wrote:
in this case we lose class Functor a = Monad a base class
declaration. so what will be the meaning of this:
I don't see why that is the case.
class Functor m = Monad m where
return :: a - m
