Candidates for monad-levels

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