caledon-3.0.0.0: prelude/maybe.ncc

-------------
--- Maybe ---
-------------
defn maybe : prop -> prop
   | nothing = {a} maybe a
   | just = {a} a -> maybe a