> Paren1>> paren "(())()" :: Result () > Return () > Paren1>> paren "(())(" :: Result () > Fail "syntax error"