Referenced by:

• algebra-ring
• cats-initial-terminal
• cats-monic-epic
• seven-sketches