How to translate logical notation to Haskell syntax

Question

I\'ve recently picked up Haskell at uni and I\'m working my way through a set of exercises, here\'s a snippet of one that I can\'t make sense of:

\"Consider the followin

Answer 1

Don't confuse a string in the grammar for the AST that represents it. Compare the string

"+ + 3 4 5"

which is a string in the grammar you've been given with

Plus (Plus (Literal 3) (Literal 4)) (Literal 5)

which would be a sensible Haskell value for the AST that String could get parsed to.