Weird printing of promoted unboxed tuples

In reviewing !3966 (closed), I came across this interaction with GHCi:

> :kind! '(#,#) Int Bool
'(#,#) Int Bool :: (# *, * #)
= '(# *, Int, Bool #)

What's that * doing in the final line? It shouldn't be there.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information