Candidates for di-monad