main is not found
tooltips:
testdata/data.lc 1:6-1:11  Type
testdata/data.lc 1:14-1:19  'Data0
testdata/data.lc 3:6-3:11  Type -> Type -> Type->Type
testdata/data.lc 3:6-3:31  Type
testdata/data.lc 3:26-3:27  Type
testdata/data.lc 3:28-3:29  Type
testdata/data.lc 3:30-3:31  Type
testdata/data.lc 3:6-3:11  Type
testdata/data.lc 3:20-3:25  {a} -> {b} -> {c} -> a -> b -> c -> 'Data1 a b c
testdata/data.lc 5:6-5:11  Type
testdata/data.lc 5:21-5:24  Type
testdata/data.lc 5:14-5:20  'Int->'Data2
testdata/data.lc 6:28-6:31  Type
testdata/data.lc 5:6-6:39  Type
testdata/data.lc 6:36-6:39  Type
testdata/data.lc 6:14-6:20  'Int -> 'Int->'Data2
testdata/data.lc 7:28-7:31  Type
testdata/data.lc 7:14-7:20  'Int->'Data2
testdata/data.lc 8:14-8:20  'Data2
testdata/data.lc 6:14-6:20  'Int -> 'Int->V2
testdata/data.lc 6:14-6:20  'Int->V2
testdata/data.lc 6:14-6:20  V2
testdata/data.lc 6:14-6:20  'Int
testdata/data.lc 6:14-6:20  'Data2
testdata/data.lc 6:14-6:20  V1
testdata/data.lc 6:23-6:24  'Data2->'Int
testdata/data.lc 10:6-10:11  Type -> Type -> Type->Type
testdata/data.lc 10:6-10:38  Type
testdata/data.lc 10:36-10:38  Type
testdata/data.lc 10:6-10:11  Type
testdata/data.lc 10:23-10:29  {a} -> {b} -> {c} -> a -> 'Data5 a b c
testdata/data.lc 10:6-11:54  Type
testdata/data.lc 11:36-11:38  Type
testdata/data.lc 11:44-11:46  Type
testdata/data.lc 11:52-11:54  Type
testdata/data.lc 11:23-11:29  {a} -> {b} -> {c} -> a -> b -> c -> 'Data5 a b c
testdata/data.lc 10:6-12:48  Type
testdata/data.lc 12:30-12:33  Type
testdata/data.lc 12:34-12:36  Type
testdata/data.lc 12:37-12:42  Type
testdata/data.lc 12:43-12:45  Type
testdata/data.lc 12:46-12:48  Type
testdata/data.lc 12:23-12:29  {a} -> {b} -> {c} -> 'Int -> a -> 'Float -> b -> c -> 'Data5 a b c
testdata/data.lc 11:23-11:29  V3 -> V3 -> V3->V3
testdata/data.lc 11:23-11:29  V3 -> V3->V3
testdata/data.lc 11:23-11:29  V3->V3
testdata/data.lc 11:23-11:29  V3
testdata/data.lc 11:23-11:29  V5
testdata/data.lc 11:23-11:29  'Data5 V2 V1 V0
testdata/data.lc 11:23-11:29  V4
testdata/data.lc 11:40-11:42  {a} -> {b} -> {c} -> 'Data5 a b c -> b
testdata/data.lc 11:23-11:29  V6
testdata/data.lc 11:32-11:34  {a} -> {b} -> {c} -> 'Data5 a b c -> a