Referenced by:

• cats-category
• cats-natural-transformation
• cats-opposite-category
• cats-welcome