Effects (kernel)

8.1 Effect type

Effect E A

Opaque in the kernel.

8.2 Effect bind

bind : Effect E A → (A → Effect E B) → Effect E B

8.3 Effect pure / failure

pure : A → Effect E A
fail : E → Effect E A

8.4 Effect sequencing

Everything desugars to bind.

No do, no effect in kernel.