## Pickles types

This library provides data structures encoded at the type level. The idea is to
encode runtime invariants and rely on the OCaml compiler to verify properties at
compile time instead of adding a runtime overhead.
