4Technically speaking, this is the syntax of denotational semantics, but we will be using it far too informally to describe this as a denotational semantics for full Haskell.