Update haskell.html.markdown

Minor improvements to polymorphic types