Provide an example on using Control.Effect.Parameterised #9
Description
Provide an example on encoding Control.Monad.Indexed-style monad with Control.Effect.Parameterised. Bob Atkey's paper is really hard thing to start from.
{{ message }}
Provide an example on encoding Control.Monad.Indexed-style monad with Control.Effect.Parameterised. Bob Atkey's paper is really hard thing to start from.