first class type families for Haskell; documentation

 This library provides support for first class type families in
 Haskell. This permits constructors for type families to be passed to
 higher order first class type families, and eval-style
 defunctionalization.
 .
 This package provides the documentation for a library for the Haskell
 programming language.
 See http://www.haskell.org/ for more information on Haskell.