catsEqFromUnivEq

UnivEqCats

catsMonoidSet

UnivEqCats