drops-the-package-lambda-from-the-left-side-too.yaml

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