`fromIntegral @Int16 @Int32` is refactor safe but `fromIntegral` is not. I want to allow the former but forbid the latter. See https://github.com/haskell/core-libraries-committee/issues/314 for context and in particular [Ad-hoc polymorphism erodes type-safety](https://cs-syd.eu/posts/2023-08-25-ad-hoc-polymorphism-erodes-type-safety).
fromIntegral @Int16 @Int32is refactor safe butfromIntegralis not.I want to allow the former but forbid the latter.
See haskell/core-libraries-committee#314 for context and in particular Ad-hoc polymorphism erodes type-safety.