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

[hao deng]

Hi there:
    Is there option Monad ( Maybe Monad of Haskell ) and list Monad in Ur?

or Ur's Monad is just for side effect?


Regards
Hao