drops-the-package-lambda-from-an-object.yaml

# SPDX-FileCopyrightText: Copyright (c) 2025 Objectionary.com
# SPDX-License-Identifier: MIT
---
left: '[[ bytes -> [[ @ -> ?, ^ -> ? ]] ]]'
right: |
  [[ bytes -> [[
    as-bytes -> [[ ^ -> ?, @ -> $.^ ]], L> Package, ^ -> ?
  ]] ]]
result: '⟦ bytes(φ) ↦ ⟦ as-bytes(ρ) ↦ ρ:φ, ρ ↦ ∅ ⟧ ⟧'