✅ Type shown that isn't present

I'm having a bit of a tough time using a generic method I have, so looked at it's signature to try do it piece by piece. I noticed it shows type 'a AND 'b, but 'b doesn't exist anywhere. What's going on here? Is 'b the tuple contained in 'a and it just doesn't say it, or is it something else?