I haven't used Haskell in a production environment, but I ended up removing core.typed from my Clojure core since it often fell apart/became prohibitively verbo

I haven't used Haskell in a production environment, but I ended up removing core.typed from my Clojure core since it often fell apart/became prohibitively verbose when dealing with nontrivial functions and higher kinded types. It could be really good if it's inference engine was improved, I can see a LOT of potential. But it just isn't there yet.