Re: [GHC] #15801: "ASSERT failed!" with visible kind applications