Control.Effects

Running effects

with

run

Defining effects

data Handler e r m a

operation

Base monad

runBase

base

Effects machinery

data Layer e m a

data Base m a

data Pure a

data Effect e m

class AutoLift e m n

class AutoLiftBase m n