Forms Haskell Strong Type Haskell Inferred Type Types Haskell Primative Haskell Boxed Types Haskell Any Haskell Concrete Type Haskell Non-concrete Type Type Checking :type x Returns the type of x Custom Defined Data Types Haskell data Haskell Type Synonym Haskell Enumerated Types Haskell Variant Types Haskell Recursive Types Haskell Polymorphic Types Haskell Generalized Algebraic Datatype Haskell Mutually Recursive Types