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`?
Is there a specific implementation reason why this function is not possible:
Is it impossible to have a constraint that relates
ltstorts?