Really, the post is about Clojure; these toy problems represent the breadth of my experience with Haskell, so I'm not really qualified to go into more depth. Certainly Haskell is said to have the most powerful type system going, and I don't see any (mainstream-ish) language displacing it any time soon.
Still, I think core.typed does pretty damn well for being a standalone library.
Still, I think core.typed does pretty damn well for being a standalone library.