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

StackOverflow: Haskell tag

reddit: r/haskell

Haskell type system, Idris

Notes on programming languages