collapse

Eff

continuation

Impure

contramap

Arrs