Update introducing-polymorphism-in-haskell.md