maam-0.3.0.0: Monadic Abstracting Abstract Machines (MAAM) built on Galois Transformers
FP.Pretty.Instances