-"identity/left" forall p .
- id . p = p
-"identity/right" forall p .
- p . id = p
-"association" forall p q r .
- (p . q) . r = p . (q . r)
+"identity/left" forall p .
+ id . p = p
+"identity/right" forall p .
+ p . id = p
+"association" forall p q r .
+ (p . q) . r = p . (q . r)