[haskell] Metacatamorphism library