type-classes for structural manipulation of algebraic data types - View it on GitHub