Tighten Safe Haskell bounds.