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) (ρ <=< γ) <=< φ = ρ <=< (γ <=< φ)