Material for the Introduction to Functional Programming for OO Programmers talk