Simon Jones on Functional Programming, Thinking in Types, Useless Languages