generics-eot is a library for datatype generic programming that tries to be very simple to understand and use.

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

• generics-sop - generics-eot is heavily inspired by this awesome package.
• There's a fork of generics-eot vendored into knit: knit/vendor/generics-eot. It gives access to field names of record types at the type-level, which the version at github.com/soenkehahn/generics-eot does not. For more discussion, see here.