Add a link to Haskell typing