main is not found
tooltips:
testdata/typeclass.lc 4:6-4:10  Type->Type
testdata/typeclass.lc 4:6-4:10  Type
testdata/typeclass.lc 4:15-4:18  {a} -> 'List a
testdata/typeclass.lc 4:6-4:35  Type
testdata/typeclass.lc 4:26-4:27  Type
testdata/typeclass.lc 4:29-4:33  Type->Type
testdata/typeclass.lc 4:34-4:35  Type
testdata/typeclass.lc 4:21-4:25  {a} -> a -> 'List a -> 'List a
testdata/typeclass.lc 11:13-11:17  V0
testdata/typeclass.lc 11:13-11:17  'Bool
testdata/typeclass.lc 10:12-10:17  'Bool
testdata/typeclass.lc 10:5-10:9  'Bool
testdata/typeclass.lc 10:5-10:9  V1
testdata/typeclass.lc 10:1-10:4  'Bool->'Bool
testdata/typeclass.lc 14:14-14:19  V0
testdata/typeclass.lc 14:14-14:19  'Bool
testdata/typeclass.lc 13:1-13:5  'Bool
testdata/typeclass.lc 13:1-13:5  V2
testdata/typeclass.lc 13:6-13:8  'Bool -> 'Bool->'Bool
testdata/typeclass.lc 17:13-17:17  V1
testdata/typeclass.lc 17:13-17:17  'Bool
testdata/typeclass.lc 16:1-16:6  'Bool
testdata/typeclass.lc 16:1-16:6  V2
testdata/typeclass.lc 16:7-16:9  'Bool -> 'Bool->'Bool
testdata/typeclass.lc 19:7-19:9  {a} -> a->a -> a
testdata/typeclass.lc 24:10-28:23  V0->V1
testdata/typeclass.lc 24:10-28:23  V1
testdata/typeclass.lc 24:10-28:23  V0->Type
testdata/typeclass.lc 24:10-28:23  Type
testdata/typeclass.lc 24:10-24:12  Type
testdata/typeclass.lc 24:13-24:17  Type
testdata/typeclass.lc 24:13-24:17  V1
testdata/typeclass.lc 28:10-28:23  Type
testdata/typeclass.lc 28:10-28:20  Type->Type
testdata/typeclass.lc 28:10-28:20  Type
testdata/typeclass.lc 28:10-28:14  Type
testdata/typeclass.lc 28:10-28:14  Type->Type
testdata/typeclass.lc 28:18-28:20  Type
testdata/typeclass.lc 28:22-28:23  Type
testdata/typeclass.lc 19:7-19:9  Type->Type
testdata/typeclass.lc 20:5-20:9  {a} -> a->a -> a
testdata/typeclass.lc 19:7-32:25  V0->V1
testdata/typeclass.lc 19:7-32:25  V1
testdata/typeclass.lc 19:7-20:27  Type
testdata/typeclass.lc 20:13-20:27  Type
testdata/typeclass.lc 20:13-20:14  Type
testdata/typeclass.lc 20:18-20:27  Type
testdata/typeclass.lc 20:18-20:19  Type
testdata/typeclass.lc 20:23-20:27  Type
testdata/typeclass.lc 24:13-32:25  {a} -> {b : 'Eq a} -> a -> a->'Bool
testdata/typeclass.lc 24:13-32:25  {a : 'Eq V0} -> V1 -> V2->'Bool
testdata/typeclass.lc 25:5-26:21  {a:'Unit} -> 'Bool -> 'Bool->'Bool
testdata/typeclass.lc 25:5-26:21  'Bool -> 'Bool->'Bool
testdata/typeclass.lc 25:5-26:21  'Bool->'Bool
testdata/typeclass.lc 25:5-26:21  'Bool
testdata/typeclass.lc 26:18-26:21  V0
testdata/typeclass.lc 26:18-26:21  'Bool->'Bool
testdata/typeclass.lc 25:5-25:9  'Bool
testdata/typeclass.lc 28:22-32:25  {a : 'Eq V0} -> V1 -> V2->'Bool
testdata/typeclass.lc 29:20-32:25  a:Type -> {b : 'Eq a} -> 'List a -> 'List a -> 'Bool
testdata/typeclass.lc 29:20-32:25  {a : 'Eq V0} -> 'List V1 -> 'List V2 -> 'Bool
testdata/typeclass.lc 29:20-32:25  'List V1 -> 'List V2 -> 'Bool
testdata/typeclass.lc 29:20-32:25  'List V2 -> 'Bool
testdata/typeclass.lc 29:20-32:25  'Bool
testdata/typeclass.lc 29:20-32:25  V0
testdata/typeclass.lc 29:20-29:24  V0
testdata/typeclass.lc 29:20-29:24  'Bool
testdata/typeclass.lc 32:20-32:25  V0 -> 'List V1 -> 'Bool
testdata/typeclass.lc 32:20-32:25  'List V1 -> 'Bool
testdata/typeclass.lc 32:20-32:25  'Bool
testdata/typeclass.lc 30:18-32:25  V0 -> 'List V1 -> 'Bool
testdata/typeclass.lc 30:18-32:25  'List V1 -> 'Bool
testdata/typeclass.lc 30:18-32:25  'Bool
testdata/typeclass.lc 32:20-32:25  V0
testdata/typeclass.lc 30:18-30:22  'List V3
testdata/typeclass.lc 30:18-30:22  'List V7
testdata/typeclass.lc 20:5-20:9  {a} -> {b : 'Eq a} -> a -> a->'Bool
testdata/typeclass.lc 22:10-22:13  'Bool->'Bool
testdata/typeclass.lc 22:3-22:5  {a} -> {b : 'Eq a} -> a -> a->'Bool