@haskell/mtl
Monad classes for transformers, using functional dependencies
@haskell/containers
Assorted concrete container types
@haskell/base
Core data structures and operations
@hackage/chalmers-lava2000
Hardware description EDSL
@hackage/QuickCheck
Automatic testing of Haskell programs