blob: cb012f9ec837329b34159e8bad9877f8c8bd8ab5 (
plain)
1
2
3
4
5
6
7
8
9
10
|
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)
|
