Re: [GHC] #13364: Remove checkValidTelescope