Pretty-printing of invisible arguments to (->)

The invisible arguments to (->) are currently printed as:

λ> :set -XKindSignatures -fprint-explicit-runtime-reps -fprint-explicit-kinds
λ> type T = ((->) :: * -> * -> *)
λ> :i T
type T =
  @{'GHC.Types.LiftedRep} -> @{'GHC.Types.LiftedRep} :: * -> * -> *

I'd expect

type T = (->) @{'GHC.Types.LiftedRep} @{'GHC.Types.LiftedRep} :: * -> * -> *

Trac metadata

Trac field	Value
Version	8.6.2
Type	Bug
TypeOfFailure	OtherFailure
Priority	normal
Resolution	Unresolved
Component	Compiler
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture