--
-- Maybe
--

assertEqual "maybe"
  (matchAll Just 1 as maybe integer with
    | just $x -> x
    | nothing -> "error")
  [1]

assertEqual "maybe"
  (matchAll Nothing as maybe integer with
    | just _ -> "error"
    | nothing -> True)
  [True]