Classes/data structures for data-kind indexed types

 This package contains collection classes and type representations
 used for working with values that have a single parameter. It's
 intended for things like expression libraries where one wishes
 to leverage the Haskell type-checker to improve type-safety by encoding
 the object language type system into data kinds.
 .
 This package provides a library for the Haskell programming language.
 See http://www.haskell.org/ for more information on Haskell.