- | Update the environment when going under a lambda that binds the given variable. This lambda is
-- assumed to be called only once, so that hoisting is not worthwhile.
lamEnvOneShot :: VarId -> Env dom -> Env dom
lamEnvOneShot v env = env
    { inLambda     = False
    , dependencies = insert v (dependencies env)
    }

lamEnvOneShot :: VarId -> Env dom -> Env dom
lamEnvOneShot v env = env
    { inLambda     = False
    , dependencies = insert v (dependencies env)
    }
lamEnvOneShot v env = env
    { inLambda     = False
    , dependencies = insert v (dependencies env)
    }