Candidates for monad-control