There are languages that have stronger type systems. I.e. idris, agda. There is paralel lineage of ml-style languages (ocaml, F#) that deal with abstraction in

There are languages that have stronger type systems. I.e. idris, agda. There is paralel lineage of ml-style languages (ocaml, F#) that deal with abstraction in different way (I find ocaml module system fascinating and yet have to fully comprehend it) Haskell is by default lazy, you might prefer strict evaluation. You might like the macro-system of Lisp, meta-programming in Haskell is trickier. Purescript has much nicer record system, with row-polymorphic types. On the other hand, if there is a niche Haskell was actually built for, it is researching functional language features. So if you are missing a feature, there is a chance somebody is working on a pragma for that :)