Re: [Haskell-cafe] New type of ($) operator in GHC 8.0 is problematic

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 | ​