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.

>>32
Yes, the Cont monad can be used to implement GOTO (after all, undelimited continuations are a glorified GOTO). So what? Nobody in their right mind uses it.

>>34
Implementing tail-call optimizations is like implementing loops in an imperative language - it requires GOTO specifically so that any programmer using TCO/loops does not need to use GOTO. That's called "structured programming", you know - use correct high-level structures guaranteed to limit spaghetti instead of raw low-level GOTO that will make you shoot yourself in the foot.