Amb is implemented using continuations and so the problem of side-effects remains. If we don't consider side-effects then "tabs" just degenerates into "continu

Amb is implemented using continuations and so the problem of side-effects remains. If we don't consider side-effects then "tabs" just degenerates into "continuations". EDIT: Maybe tabs == "monads" + "continuations"? I don't know enough about haskell to tell.