A library providing a signature for simple profunctors and traversal of a record

This is a very small library which provides a signature for profunctor types and operations which can be used to traverse a record with them based on record_builder and the =ppx_fields= syntax extension.