mapping over a field, changing its type?

Is there a specific implementation reason why this function is not possible:

```
modify :: forall l v v2 lts rts. (Has lts l v, ???) => FldProxy l -> (v -> v2) -> Rec lts -> Rec rts
```

Is it impossible to have a constraint that relates `lts` to `rts`?