main is not found
------------ trace
'Data0 :: Type
Data0 :: 'Data0
'Data0Case :: (a : 'Data0->Type) -> a Data0 -> (b:'Data0) -> a b
match'Data0 :: (a : Type->Type) -> a 'Data0 -> (b:Type) -> a b -> a b
'Data1 :: Type -> Type -> Type->Type
Data1 :: {a} -> {b} -> {c} -> a -> b -> c -> 'Data1 a b c
'Data1Case :: {a} -> {b} -> {c} -> (d : 'Data1 a b c -> Type) -> ((e:a) -> (f:b) -> (g:c) -> d (Data1 e f g)) -> (h : 'Data1 a b c) -> d h
match'Data1 :: (a : Type->Type) -> ((b:Type) -> (c:Type) -> (d:Type) -> a ('Data1 b c d)) -> (e:Type) -> a e -> a e
'Data2 :: Type
Data21 :: 'Int->'Data2
Data22 :: 'Int -> 'Int->'Data2
Data23 :: 'Int->'Data2
Data24 :: 'Data2
'Data2Case :: (a : 'Data2->Type) -> ((b:'Int) -> a (Data21 b)) -> ((c:'Int) -> (d:'Int) -> a (Data22 c d)) -> ((e:'Int) -> a (Data23 e)) -> a Data24 -> (f:'Data2) -> a f
match'Data2 :: (a : Type->Type) -> a 'Data2 -> (b:Type) -> a b -> a b
x :: 'Data2->'Int
y :: 'Data2->'Int
'Data5 :: Type -> Type -> Type->Type
Data51 :: {a} -> {b} -> {c} -> a -> 'Data5 a b c
Data52 :: {a} -> {b} -> {c} -> a -> b -> c -> 'Data5 a b c
Data53 :: {a} -> {b} -> {c} -> 'Int -> a -> 'Float -> b -> c -> 'Data5 a b c
'Data5Case :: {a} -> {b} -> {c} -> (d : 'Data5 a b c -> Type) -> ((e:a) -> d (Data51 e)) -> ((f:a) -> (g:b) -> (h:c) -> d (Data52 f g h)) -> ((i:'Int) -> (j:a) -> (k:'Float) -> (l:b) -> (m:c) -> d (Data53 i j k l m)) -> (n : 'Data5 a b c) -> d n
match'Data5 :: (a : Type->Type) -> ((b:Type) -> (c:Type) -> (d:Type) -> a ('Data5 b c d)) -> (e:Type) -> a e -> a e
a5 :: {a} -> {b} -> {c} -> 'Data5 a b c -> a
b5 :: {a} -> {b} -> {c} -> 'Data5 a b c -> b
c5 :: {a} -> {b} -> {c} -> 'Data5 a b c -> c
------------ 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:13  Type -> Type->Type
testdata/data.lc 3:6-3:15  Type->Type
testdata/data.lc 3:6-3:17  Type
testdata/data.lc 3:6-3:25  Type
testdata/data.lc 3:6-3:31  Type
testdata/data.lc 3:12-3:13  Type
testdata/data.lc 3:14-3:15  Type
testdata/data.lc 3:16-3:17  Type
testdata/data.lc 3:20-3:25  Data1 g_ f_ e_ | 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->Data2 | Type
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->Data2 | Type
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:14  Type -> Type->Type
testdata/data.lc 10:6-10:17  Type->Type
testdata/data.lc 10:6-10:20  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:12-10:14  Type
testdata/data.lc 10:15-10:17  Type
testdata/data.lc 10:18-10:20  Type
testdata/data.lc 10:23-10:29  Data5 e_ d_ c_ | Type | {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 h_ g_ f_ | Type | {a} -> {b} -> {c} -> a -> b -> c -> Data5 a b c
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 k_ j_ i_ | 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
------------ warnings
Uncovered pattern(s) at testdata/data.lc:6:23:
           | Data22 { x :: Int, y::Int }
                      ^
Missing case(s):
  Data21
  Data24

Uncovered pattern(s) at testdata/data.lc:6:33:
           | Data22 { x :: Int, y::Int }
                                ^
Missing case(s):
  Data21
  Data23
  Data24

Uncovered pattern(s) at testdata/data.lc:10:32:
data Data5 a5 b5 c5 = Data51 { a5::a5}
                               ^^
Missing case(s):
  Data53

Uncovered pattern(s) at testdata/data.lc:11:40:
                    | Data52 { a5::a5, b5::b5, c5::c5 }
                                       ^^
Missing case(s):
  Data51
  Data53

Uncovered pattern(s) at testdata/data.lc:11:48:
                    | Data52 { a5::a5, b5::b5, c5::c5 }
                                               ^^
Missing case(s):
  Data51
  Data53