Comment by qsort

> So, instead if having "words", I would make them functions, with typed arguments

Interesting idea. Wouldn't it require some compiler magic, though? E.g. you can't type a Y combinator.