amEnv :: VarId -> Env dom -> Env dom
lamEnv v env = env
    { inLambda     = True
    , dependencies = insert v (dependencies env)
    }

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