I recognize there are diminishing returns, and also, while I don't want first-tier mainstream languages, at the very least I want second-tier mainstream languages :)

Haskell, for example, is harder to pick, and I wouldn't pick Idris even if I founded my own company.