Control.Monad.Freer.Internal

data Eff r a

class Member t r

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

type Arr r a b

type Arrs r a b

data Union r v

data NonDetEff a

makeChoiceA

msplit

decomp

tsingleton

extract

qApp

qComp

send

run

runM

handleRelay

handleRelayS

interpose