-6. The standard category-theory presentation of the monad laws
---------------------------------------------------------------
-In category theory, the monad laws are usually stated in terms of unit and join instead of unit and <=<.
+ q = (p Q)
+ = ((p <=< unit) Q)
+ = (((join P') -v- (M p) -v- unit) Q)
+ = ((join P'Q) -v- ((M p) Q) -v- (unit Q))
+ = ((join P'Q) -v- (M (p Q)) -v- (unit Q))
+ ??
+ = q <=< (unit Q)
+
+where as we said `q` is a natural transformation from `Q` to some `MP'Q`.
+
+
+
+
+The standard category-theory presentation of the monad laws
+-----------------------------------------------------------
+In category theory, the monad laws are usually stated in terms of `unit` and `join` instead of `unit` and `<=<`.