IsEq

laws

IsEqArrow

laws

idempotence

BandLaws

isId

MonoidLaws