Found the answer! b is essentially an implicit argument to x so you can set it just like you would for a function:

x' : I a b => a
x' = x { b = b }