2 Main.f :: for all d, e. d -> [[e]]
4 /\ o79 t81 -> \ x.88 ->
5 :! [t81] (Nil! t81) (:! [t81] (Nil! t81) (Nil! [t81]))
6 Main.g :: for all d, e, f, g. d -> ([e], [f], [g])
8 /\ o84 t85 t86 t87 -> \ x.89 ->
9 MkTuple3! [t85] [t86] [t87] (Nil! t85) (Nil! t86) (Nil! t87)