Control.Effects.NonDet

choose

guard

dfs

set

alternatives

accumulate

bfs