enable some handy type aliases for the parser, at the cost of turning on UndecidableInstances.