HODGP / Origami Programming This code is based on the Design Patterns as High-Order Datatype-Generic Programs, by Jeremy Gibbons Origami classes from https://github.com/debasishg/hodgp