Re: [GHC] #14199: Document Type.Reflection better (Fun and Con')