@hackage/fin
Nat and Fin: peano naturals and finite numbers
@hackage/generics-sop
Generic Programming using True Sums of Products
@hackage/streams
Various Haskell 2010 stream comonads
@hackage/void
A Haskell 98 logically uninhabited data type
@hackage/adjunctions
Adjunctions and representable functors
@hackage/base
Core data structures and operations
@hackage/constraints
Constraint manipulation
@hackage/transformers-compat
A small compatibility shim for the transformers library
@hackage/transformers
Concrete functor and monad transformers
@hackage/vec
Vec: length-indexed (sized) list
@hackage/base-compat
A compatibility layer for base
@hackage/semigroups
Anything that associates
@hackage/tagged
Haskell 98 phantom types to avoid unsafely passing dummy arguments