Source material for an upcoming functional programming lecture