main is not found
tooltips:
testdata/traceTest.lc 6:8-6:9  V1
testdata/traceTest.lc 6:1-6:3  {a} -> a->a
testdata/traceTest.lc 8:17-8:18  Type->Type
testdata/traceTest.lc 8:17-8:18  Type
testdata/traceTest.lc 8:6-8:7  {a} -> a->Type
testdata/traceTest.lc 8:6-8:18  Type->Type
testdata/traceTest.lc 8:6-8:18  Type
testdata/traceTest.lc 8:6-8:7  Type->Type
testdata/traceTest.lc 8:6-8:7  Type
testdata/traceTest.lc 10:6-10:25  Type
testdata/traceTest.lc 10:6-10:7  {a} -> a->Type
testdata/traceTest.lc 10:8-10:25  V0
testdata/traceTest.lc 10:19-10:20  Type
testdata/traceTest.lc 10:19-10:20  V3
testdata/traceTest.lc 10:22-10:23  Type
testdata/traceTest.lc 10:22-10:23  V1
testdata/traceTest.lc 11:5-11:14  'X (Type -> Type->Type) (\c:Type d:Type -> 'Tuple2 c d)
testdata/traceTest.lc 11:1-11:2  'X (Type -> Type->Type) (\c:Type d:Type -> 'Tuple2 c d)