@hackage/base
Core data structures and operations
@hackage/constraints
Constraint manipulation
@hackage/type-natural
Type-level natural and proofs of their properties.
@hackage/ListLike
Generalized support for list-like structures
@hackage/vector
Efficient Arrays
@hackage/containers
Assorted concrete container types
@hackage/monomorphic
Library to convert polymorphic datatypes to/from its monomorphic represetation