λ(x : { b : { c : {} } }) → { a = x with b.c = 42 }