Read a list of 10 things Idris improved over Haskell. For example, Idris has overloading without type classes, record fields that are namespaced, a records update and access syntax and Functor and Monad got fixed. Dependent types are not even considered as they’re out of Haskell’s league!