Control.Effects.List

data NonDeterministic

choose

deadEnd

evaluateToList

traverseAllResults

foldAllResults

foldWithEarlyTermination

evaluateNResults

evaluateOneResult