com

root

commutativeMonoidLaws

BaseProperties

commutativeMonoidLawsEq

BaseProperties

commutativeSemigroupLaws

BaseProperties

commutativeSemigroupLawsEq

BaseProperties

composeLaw

FunctorLaws