Referenced by:

• cats-cone
• cats-representable