<->

IsEqArrow

~>

cats

⊤

cats

⊥

cats