[GHC] #15987: GHC sometimes not computing open type family application in kind inference