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