Control.Effect.Nondeterminism

class Nondeterministic m

choose

runNondeterminism

mzero

mplus