Classes and data structures for working with data-kind indexed types
Description
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.
