Control.Monad.Freer

class Member t r

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

data Eff r a

run

runM

runNat

handleRelay

handleRelayS

send

type Arr r a b

data NonDetEff a

makeChoiceA

msplit