Control.Category.Records

This module exports "record-style" wrappers around various
interfaces in this library. These may be easier to use if the
categories you're constructing are particularly complex, as
Idris's interface resolution can often break.

To convert a structure into its record-style variant, simply use
the record constructor. The interace implementation will be
automatically searched for, or it can be explicitly specified
using the `con` argument (short for constraint). Likewise, the
`(.con)` field can be used to extract the interface implementation
from the record.