Summarizing then, the monad laws can be expressed as:
<pre>
- For all γ, φ in T for which ρ <=< γ and γ <=< φ are defined:
+ For all ρ, γ, φ in T for which ρ <=< γ and γ <=< φ are defined:
- (i) γ <=< φ is also in T
+ (i) γ <=< φ etc are also in T
(ii) (ρ <=< γ) <=< φ = ρ <=< (γ <=< φ)
(iii.1) (unit G') <=< γ = γ
when γ is a natural transformation from some FG' to MG'
- (iii.2) γ = γ <=< (unit G)
+ (iii.2) γ = γ <=< (unit G)
when γ is a natural transformation from G to some MR'G
</pre>