main is not found
------------ trace
zip2 :: {a} -> {b} -> 'List a -> 'List b -> 'List (a, b)
------------ tooltips
testdata/zip01.lc 1:9-1:12  Type
testdata/zip01.lc 1:9-1:30  Type
testdata/zip01.lc 1:9-4:40  a_->b_ | {a} -> {b} -> List a -> List b -> List (a, b)
testdata/zip01.lc 1:10-1:11  d_
testdata/zip01.lc 1:16-1:19  Type
testdata/zip01.lc 1:16-1:30  Type
testdata/zip01.lc 1:17-1:18  c_
testdata/zip01.lc 1:23-1:30  Type
testdata/zip01.lc 1:24-1:29  Type
testdata/zip01.lc 1:25-1:26  Type
testdata/zip01.lc 1:25-1:28  List Type
testdata/zip01.lc 1:27-1:28  List Type | Type
testdata/zip01.lc 2:1-2:5  {a} -> {b} -> List a -> List b -> List (a, b)
testdata/zip01.lc 2:22-2:24  {a} -> List a
testdata/zip01.lc 2:22-4:40  List (d_, c_) | List a_ -> List (b_, e_) | List b_ -> List (d_, c_) | List b_ -> List b_ -> List (d_, c_)
testdata/zip01.lc 3:22-3:24  {a} -> List a
testdata/zip01.lc 3:22-4:40  List (c_, f_) | List a_ -> List (f_, b_) | List c_ -> List c_ | b_ -> List c_ -> List c_
testdata/zip01.lc 4:22-4:27  (h_, d_)
testdata/zip01.lc 4:22-4:29  List (h_, d_) -> List (i_, e_)
testdata/zip01.lc 4:22-4:40  List (g_, c_) | List c_ -> List c_ | b_ -> List c_ -> List c_
testdata/zip01.lc 4:23-4:24  k_
testdata/zip01.lc 4:25-4:26  ((d_)) | g_
testdata/zip01.lc 4:28-4:29  {a} -> a -> List a -> List a
testdata/zip01.lc 4:30-4:34  {a} -> {b} -> List a -> List b -> List (a, b)
testdata/zip01.lc 4:30-4:37  List a_ -> List (i_, b_)
testdata/zip01.lc 4:30-4:40  List (g_, c_)
testdata/zip01.lc 4:35-4:37  List i_
testdata/zip01.lc 4:38-4:40  List c_