Re: [GHC] #13969: Record pattern synonym incorrectly claims it's recursive, given unbound variable