Talk:GHC/Type families

How does this change now that GHC 6.8.1 is out? MathematicalOrchid 12:55, 11 November 2007 (UTC)

In 4.3.2 Examples

module GMap (GMapKey(..), GMap(..)) where...: As before, but also exports all the data constructors GMapInt, GMapChar, GMapUnit, GMapPair, and GMapUnit.

should probably be:

module GMap (GMapKey(..), GMap(..)) where...: As before, but also exports all the data constructors GMapInt, GMapChar, GMapUnit, GMapPair, and GMapEither.

Paragraph 6 is a copy of Paragraph 4 except Collects is used.

In 7.3 Equality constraints

Why was `~' used, instead of `=` ? StefanLjungstrand 19:55, 12 December 2007 (UTC)