Control.Effects.List

data NonDeterministic

choose

deadEnd

handleList

evaluateToList

traverseAllResults

foldAllResults

foldWithEarlyTermination

evaluateNResults

evaluateOneResult