@hackage/fin
Nat and Fin: peano naturals and finite numbers
@hackage/QuickCheck
Automatic testing of Haskell programs
@hackage/some
Existential type: Some
@hackage/deepseq
Deep evaluation of data structures
@hackage/base
Core data structures and operations
@hackage/boring
Boring and Absurd types
@hackage/hashable
A class for types that can be converted to a hash value
@hackage/dec
Decidable propositions.
@hackage/nats
Natural numbers