Referenced by:

• abstraction-group
• cats-functor
• cats-monic-epic
• logic-naught-test
• rado-graph