Jump to content

Template:Haskell/Fun with Types

Add links
From Wikibooks, open books for an open world

Polymorphism 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

Retrieved from "https://en.wikibooks.org/w/index.php?title=Template:Haskell/Fun_with_Types&oldid=3597514"