parseExpr is currently a greedy parser, that consumes the input until the end. Non-greedy parser, that only consumes the input until Expr is fully parsed, would be useful especially when we want to parse match clauses such as pat -> body outside of this package.