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