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 a library for the Haskell programming language.
 See http://www.haskell.org/ for more information on Haskell.