Presentation: Haskell and the Curry-Howard isomorphism (Part 1)