The raw material for an intro to functional programming workshop