Higher-kinded endofunctors

Higher-kinded type classes is what makes Haskell stand out above other functional languages for me. Things like endofunctors just cannot exist in virtually any other language.

i'm allergic to word functor. It smells of academic jargon, type theory, category theory and function composition just to write a dumb app which doesn't even need this bullshit.
Higher kinded type class is probably attempt to typesafe "var" or emulate dynamic types.