On Sat, Aug 6, 2011 at 5:28 AM, Adam Chlipala <[email protected]> wrote: > austin seipp wrote: >> >> It's there in basis but there is no function with which you can >> construct an instance of 'monad a'. The type class is closed and the >> only instances are for 'transaction' and 'signal'. >> > > That's right. Due to a slightly embarrassing compiler implementation > choice, there is no way now to create other [monad] instances. You could > certainly redefine the class on your own in a way which allows defining new > instances. > > Or I could change the compiler at some point. :) How long will that take? can we enter a ticket for that? > > _______________________________________________ > Ur mailing list > [email protected] > http://www.impredicative.com/cgi-bin/mailman/listinfo/ur >
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
