Is that so implausible? If you like the things that make Haskell different from other programming languages, Idris does most of the same things, only more so. It&#x27;s the first language with a better type system than Haskell&#x27;s to become even remotely mainstream.