Lax arrows are variants of other arrows which are ?less strict? than the original arrows. They can
be used, for example, to produce I/O fixpoints in situations where fixIO would fail.
These details are provided for information only. No information here is legal advice and should not be used as such.