(where we lift a value into a dependencies list)