Functional Programming by Example using Haskell - slides of my talk