Haskell library implementing parametric compositional data types.