As discussed in several interwoven threads (original, café), it has been suggested to add a flag -fshow-runtime-rep. Without this flag enabled, the pretty printer will instantiate any RuntimeRep type parameters to PtrRep Lifted. This has the effect of changing

($) :: forall (r :: RuntimeRep) (a :: *) (b :: TYPE r). (a -> b) -> a -> b

to

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

under the default GHCi settings.

Note that Levity becomes RuntimeRep after #11471 (closed) is complete.