| λ x0 : ι → ο . λ x1 : (ι → ο) → ο . λ x2 : (ι → ι → ο) → ο . λ x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 . λ x17 : ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι . λ x18 x19 x20 : ι → ι → ι . λ x21 x22 x23 . x20 (x19 (x19 x23 x21) x22) (x19 x21 x22) |
|