main is not found
tooltips:
testdata/data.lc 1:6-1:11  Type
testdata/data.lc 1:6-1:19  Type
testdata/data.lc 1:14-1:19  'Data0
testdata/data.lc 3:6-3:11  Type | Type -> Type -> Type->Type
testdata/data.lc 3:6-3:25  Type
testdata/data.lc 3:6-3:31  Type
testdata/data.lc 3:20-3:25  'Data1 V6 V5 V4 | Type | {a} -> {b} -> {c} -> a -> b -> c -> 'Data1 a b c
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 5:6-5:11  Type
testdata/data.lc 5:6-6:39  Type
testdata/data.lc 5:6-8:20  Type
testdata/data.lc 5:14-5:20  'Data2 | 'Int->'Data2 | Type
testdata/data.lc 5:21-5:24  Type
testdata/data.lc 6:14-6:20  'Data2 | 'Int | 'Int -> 'Int->'Data2 | 'Int -> 'Int->V2 | 'Int->V2 | Type | V1
testdata/data.lc 6:23-6:24  'Data2->'Int
testdata/data.lc 6:28-6:31  Type
testdata/data.lc 6:33-6:34  'Data2->'Int
testdata/data.lc 6:36-6:39  Type
testdata/data.lc 7:14-7:20  'Data2 | 'Int | 'Int->'Data2 | 'Int->V1 | Type | V1
testdata/data.lc 7:23-7:24  'Data2->'Int
testdata/data.lc 7:28-7:31  Type
testdata/data.lc 8:14-8:20  'Data2
testdata/data.lc 10:6-10:11  Type | Type -> Type -> Type->Type
testdata/data.lc 10:6-10:38  Type
testdata/data.lc 10:6-11:54  Type
testdata/data.lc 10:6-12:29  Type
testdata/data.lc 10:6-12:48  Type
testdata/data.lc 10:23-10:29  'Data5 V4 V3 V2 | Type | V3->V1 | V4 | {a} -> {b} -> {c} -> a -> 'Data5 a b c
testdata/data.lc 10:32-10:34  {a} -> {b} -> {c} -> 'Data5 a b c -> a
testdata/data.lc 10:36-10:38  Type
testdata/data.lc 11:23-11:29  'Data5 V7 V6 V5 | Type | V3 -> V3 -> V3->V3 | V3 -> V3->V3 | V3->V3 | V4 | V5 | V6 | {a} -> {b} -> {c} -> a -> b -> c -> 'Data5 a b c
testdata/data.lc 11:32-11:34  {a} -> {b} -> {c} -> 'Data5 a b c -> a
testdata/data.lc 11:36-11:38  Type
testdata/data.lc 11:40-11:42  {a} -> {b} -> {c} -> 'Data5 a b c -> b
testdata/data.lc 11:44-11:46  Type
testdata/data.lc 11:48-11:50  {a} -> {b} -> {c} -> 'Data5 a b c -> c
testdata/data.lc 11:52-11:54  Type
testdata/data.lc 12:23-12:29  'Data5 V10 V9 V8 | Type | {a} -> {b} -> {c} -> 'Int -> a -> 'Float -> b -> c -> 'Data5 a b c
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