Slides for the talk "The Shape of Functional Programming"