Candidates for control-monad-omega