[jhc] Re: patches to fix *haskell* typechecking of (->)