generics-eot is a library for datatype generic programming that tries to be very simple to understand and use. It's heavily inspired by the awesome generics-sop package.

Documentation can be found here: https://generics-eot.readthedocs.io/