Add link to Wadler's 'Why calculating is better than scheming'.