Adding notes for Bird/Wadler Introduction to Functional Programming