Candidates for monad-ideals

No candidates exist for monad-ideals. Upload one for this or another package?