kind-apply-0.4.0.0: Utilities to work with lists of types

This packages reifies the concept of list of types, and application of those to list constructors.