Control.Monad.Freer

class Member t r

data Eff r a

run

send

data NonDetEff a

makeChoiceA

msplit