Forms Haskell Strong Type Haskell Static Type Haskell Inferred Type Types Haskell Primative Haskell Boxed Types Type Checking :type x Returns the type of x Creating New Datatypes Haskell data