+<pre>
+ γ = (ρ G)
+ = ((ρ <=< unit) G)
+ = (((join R') -v- (M ρ) -v- unit) G)
+ = (((join R') G) -v- ((M ρ) G) -v- (unit G))
+ = ((join (R'G)) -v- (M (ρ G)) -v- (unit G))
+ since γ = (ρ G) is a natural transformation to MR'G,
+ this satisfies the definition <=<:
+ = γ <=< (unit G)
+</pre>
+
+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 ρ <=< γ and γ <=< φ are defined: