-The standard category-theory presentation of the monad laws
------------------------------------------------------------
+ (ii) (ρ <=< γ) <=< φ = ρ <=< (γ <=< φ)
+
+ (iii.1) (unit G') <=< γ = γ
+ when γ is a natural transformation from some FG' to MG'
+
+ (iii.2) γ = γ <=< (unit G)
+ when γ is a natural transformation from G to some MR'G
+</pre>
+
+
+
+Getting to the standard category-theory presentation of the monad laws
+----------------------------------------------------------------------