Talk introducing FP (with Haskell)