Why not just make GHCi output a comment whenever the type involves levity?

> :t ($)

-- Note: the actual type is more generic:
--
--     ($) :: forall (w :: GHC.Types.Levity) a (b :: TYPE w).  (a -> b) -> a -> b
--
-- For the absolute majority of purposes the simpler type is correct.
-- See GHC Guide chapter X point Y to learn more about this.

($) :: (a -> b) -> a -> b