bar :: forall v[-5] v[-2] . X v[-2], C v[-5] => v[-2] -> v[-5]
dict-C<Int>:
{dictionary
    foo: <> \d[-12] x -> getInt@(d[-12]) x
}
bar d[-6] d[-7] x[1] = foo@(d[-7]) d[-6] x[1]