A library providing a signature for simple profunctors and traversal of a record - View it on GitHub