This library defines and instantiates a set of typeclasses (using modular implicits) to allow generic programming over arbitrary data types.
It also uses BER MetaOCaml to allow efficient code to be derived, without the performance overhead of converting to and from a separate representation.
This has a similar aim to the paper Staged Generic Programming by Jeremy Yallop, but for a different kind of generic programming.
The compact library provides a nice example use-case of this library. It derives trivial binary encodings for arbitrary (finite) data types.