Re: [GHC] #14042: Misleading error message when type family is used in datatype's return kind (was: Data type with type family in return kind spuriously rejected)