Candidates for monad-gen