| λ x0 : ι → ο . λ x1 : ι → ι → ι → ο . λ x2 : ι → ι . λ x3 : ι → ι → ι → ι → ι → ι . λ x4 : ι → ο . λ x5 : ι → ι → ι → ο . λ x6 : ι → ι . λ x7 : ι → ι → ι → ι → ι → ι . λ x8 : ι → ι . λ x9 : ι → ι → ι → ι . λ x10 : ι → ι . λ x11 : ι → ι → ι → ι . λ x12 : ι → ι . and (and (and (and (MetaCat x0 x1 x2 x3) (MetaCat x4 x5 x6 x7)) (MetaFunctor x0 x1 x2 x3 x4 x5 x6 x7 x8 x9)) (MetaFunctor x0 x1 x2 x3 x4 x5 x6 x7 x10 x11)) (MetaNatTrans_buggy x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12) |
|