--
-- Maybe
--

assertEqual "maybe"
  (match Just 1 as maybe integer with
    | just $x -> x
    | nothing -> 0)
  1

assertEqual "maybe"
  (match Nothing as maybe integer with
    | just _ -> False
    | nothing -> True)
  True