Pretty-printing of FUN 'Many
ghci> :set -fprint-explicit-kinds
ghci> type T = FUN 'Many
ghci> :i T
type T :: * -> * -> *
type T = (->) 'LiftedRep 'LiftedRep :: * -> * -> *
The 'LiftedRep
s should be @{'LiftedRep}
s. Patch at !4938 (closed).
ghci> :set -fprint-explicit-kinds
ghci> type T = FUN 'Many
ghci> :i T
type T :: * -> * -> *
type T = (->) 'LiftedRep 'LiftedRep :: * -> * -> *
The 'LiftedRep
s should be @{'LiftedRep}
s. Patch at !4938 (closed).