Functional programming series (Burge school of FP)