Template:Haskell chapter/Fun with Types

From Wikibooks, open books for an open world
Jump to: navigation, search

Polymorphism basics 25% developed
Existentially quantified types 50% developed
Advanced type classes 50% developed
Phantom types 25% developed
Generalised algebraic data-types (GADT) 75% developed
Datatype algebra
Type constructors & Kinds 0% developed

edit this chapter