Add link to Introduction to Functional Programming, by Bird and Wadler.