[Ur] Maybe Monad ( option monad) or list monad in Ur

Adam Chlipala adamc at impredicative.com
Sat Aug 6 08:28:17 EDT 2011


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. :)



More information about the Ur mailing list