We have a promise similar to this (obviously a simplification, but the promise execution itself is not important):
let val = get