! Mi"      !SafeUjmorphisms-objects yWhen providing a new instance, you should ensure it satisfies the one law: * Associativity: x <> (y <> z) "a (x <> y) <> zmorphisms-objectsInfix version of morphisms-objectsPrefix version of SafeUBmorphisms-objects When providing a new instance, you should ensure it satisfies the two law: * Right absorption: unit <> x "a x * Left absorption: x <> unit "a xSafeU Rmorphisms-objects When providing a new instance, you should ensure it satisfies the two law: * Right absorption: x <> inverse x "a unit * Left absorption: inverse x <> x "a unitSafeUmorphisms-objects When providing a new instance, you should ensure it satisfies the three laws: * Associativity: x \/ (y \/ z) "a (x \/ y) \/ z * Commutativity: x \/ y "a y \/ x * Idempotency: x \/ x "a x morphisms-objects When providing a new instance, you should ensure it satisfies the three laws: * Associativity: x /\ (y /\ z) "a (x /\ y) /\ z * Commutativity: x /\ y "a y /\ x * Idempotency: x /\ x "a x   SafeU morphisms-objects zWhen providing a new instance, you should ensure it satisfies the one law: * Absorption: a \/ (a /\ b) "a a /\ (a \/ b) "a a  SafeUmorphisms-objects When providing a new instance, you should ensure it satisfies the four law: * Reflexivity: x == x "a True * Symmetry: x == y "a y == x * Transitivity: x == y && y == z "a True ===> x == z "a True * Negation: x /= y "a not (x == y)  443 SafeUOmorphisms-objects When providing a new instance, you should ensure it satisfies the three law: * Reflexivity: x <= x "a True * Transitivity: x <= y && y <= z "a True ===> x <= z "a True * Antisymmetry: x <= y && y <= x "a True ===> x == y "a True  !  !SafeU"  !"      !"#$%&'()*+.morphisms-objects-0.1.2-HhUdge8IIK3EOezpMGqyw9Control.Object.SemigroupControl.Object.MonoidControl.Object.GroupControl.Object.SemilatticeControl.Object.LatticeControl.Object.SetoidControl.Object.ChainControl.Object Semigroup<>binopMonoidunitGroupinverseSupremum\/supremumInfimum/\infimumLatticeSetoid==/=BooleanTrueFalse&&||notboolChain<=>=<>OrderingLessEqualGreaterorder