Summarizing then, the monad laws can be expressed as:
<pre>
- For all γ, φ in T for which γ <=< φ is defined:
+ For all γ, φ in T for which ρ <=< γ and γ <=< φ are defined:
(i) γ <=< φ is also in T