- package:parameterized-utils

Subtraction of type-level naturals.

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