Candidates for effect-monad