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-eotis heavily inspired by this awesome package.- There's a fork of
generics-eotvendored intoknit: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.