Haskell Consultant
Well-Typed LLP
optics
,
a Haskell library providing an abstract interface for lenses et al.
uom-plugin
,
units of measure as a GHC typechecker plugin
Inch
,
a typechecker for Haskell with integer constraints