{⟦
  org() ↦ ⟦
    eolang() ↦ ⟦
      try(main, catch, finally) ↦ ⟦
        λ ⤍ Lorg_eolang_try
      ⟧,
      λ ⤍ Package
    ⟧,
    λ ⤍ Package
  ⟧
⟧}