Signed-off-by: Jim Pryor <profjim@jimpryor.net>
where as we said <code>γ</code> is a natural transformation from `G` to some `MR'G`.
+Summarizing then, the monad laws can be expressed as:
+
+<pre>
+ For all γ, φ in T for which γ <=< φ is defined:
+
+ (i) γ <=< φ is also in T
+
+ (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>