Forms Haskell Strong Type Haskell Inferred Type Types Haskell Primative Haskell Boxed Types Haskell Any Haskell Generalized Algebraic Datatype Type Checking :type x Returns the type of x Creating New Datatypes Haskell data
