Control.Monad.Freer.Internal

data Eff r a

class Member t r

type family Members m r :: Constraint

type Arr r a b

type Arrs r a b

data Union r v

data NonDetEff a

makeChoiceA

msplit

decomp

tsingleton

qApp

qComp

send

run

handleRelay

handleRelayS

interpose