> The first definition (data Exp) is indeed a grammar No, it isn't. It's an AST datatype. That definition does not at all cover the relationship between text a

> The first definition (data Exp) is indeed a grammar No, it isn't. It's an AST datatype. That definition does not at all cover the relationship between text and structure, as a grammar does.