Template:Haskell chapter/Fun with Types
Polymorphism basics ![]()
Existentially quantified types ![]()
Advanced type classes ![]()
Phantom types ![]()
Generalised algebraic data-types (GADT) ![]()
Datatype algebra ![]()
Type constructors & Kinds ![]()
Polymorphism basics ![]()
Existentially quantified types ![]()
Advanced type classes ![]()
Phantom types ![]()
Generalised algebraic data-types (GADT) ![]()
Datatype algebra ![]()
Type constructors & Kinds ![]()