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.

>>29
https://github.com/petermichaux/bootstrap-scheme/blob/v0.14/scheme.c#L1080-L1100
A totally valid use of GOTO. He explains his reasoning in http://peter.michaux.ca/articles/scheme-from-scratch-bootstrap-v0_10-if

He's translating SICP almost verbatim.