{ ⟦ org ↦ ⟦ eolang ↦ ⟦ dataized ↦ ⟦ λ ⤍ Lorg_eolang_dataized, target ↦ ∅ ⟧, λ ⤍ Package ⟧, λ ⤍ Package ⟧ ⟧ }