Control.Monad.Freer

Effect Monad

data Eff effs a

Effect Constraints

class Member t r

type family Members m r :: Constraint where ...

Sending Arbitrary Effect

Handling Effects

type Arr effs a b

Building Effect Handlers