[Verdex]

If you liked the "I'd really only known how to use one" type of experience, then I encourage you to keep learning languages after you are happy with where you are with Haskell. My experience is that languages stop feeling like cohesive entities and start feeling like a collection of features.

The nontraditional categories I've encountered are something like:

The macro facilities in lisp, scheme, forth (or factor), template haskell, and C++ templates.

Array languages like APL, K, or R.

Prototype inheritance with smalltalk or Lua.

Avoiding side effects with Haskell, Ocaml, or C#'s linq.

The "we're serious about type theory" languages like Haskell, coq, agda, and idris.