--- /dev/null
+Desugared:
+Main.f :: for all d, e. d -> [[e]]
+Main.f =
+ /\ o79 t81 -> \ x.88 ->
+ :! [t81] (Nil! t81) (:! [t81] (Nil! t81) (Nil! [t81]))
+Main.g :: for all d, e, f, g. d -> ([e], [f], [g])
+Main.g =
+ /\ o84 t85 t86 t87 -> \ x.89 ->
+ MkTuple3! [t85] [t86] [t87] (Nil! t85) (Nil! t86) (Nil! t87)
+