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