reserved words:
case class if import let module data default in infix newtype of deriving do infixl infixr then type else instance where
standard operators
note: all type variables, as in 'a → a' are not free, i.e. implicitly bound.
haskell.org: Haskellwiki, Prelude
Wikibooks: Haskell
fpcomplete: Simple examples
