[Evbn]

(g a) is valid Haskell and it is equal to a constant function that returns a. In fact, g is the Prelude function 'const'.