haskell-types: Minor corrections