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

[Marc Weber]

Excerpts from hao deng's message of Sat Aug 06 08:40:55 +0200 2011:
> or Ur's Monad is just for side effect?
Current usage has been introduced for side effects mainly AFAIK.

The manual section 8.1 says literally:
"The Ur Basis defines the monad constructor class from Haskell."

The new tutorial on impredicative.com should give you some ideas about
how to define class instances. Probably I'm going to try this myself
later. Maybe you're faster?

Looking at Haskell's implementation this should be trivial to implement.

Adam C, if this is wrong correct me, please.

Marc Weber