| λ x0 . λ x1 : ι → ο . ∀ x2 : ι → (ι → ο) → ο . x2 5e331.. 07017.. ⟶ (∀ x3 x4 . ∀ x5 x6 : ι → ο . x2 x3 x5 ⟶ x2 x4 x6 ⟶ x2 (a3eb9.. x3 x4) (c0709.. x5 x6)) ⟶ (∀ x3 x4 . ∀ x5 x6 : ι → ο . x2 x3 x5 ⟶ x2 x4 x6 ⟶ x2 (bf68c.. x3 x4) (6e020.. x5 x6)) ⟶ x2 x0 x1 |
|