Referenced by:

• cats-groupoid
• the-book