let rec parens =
  let expr = parens <|> return Empty
    in char '(' *> expr >>= fun a ->
       char ')' *> expr >>= fun b ->
       return (Pairs (a, b))