main is not found
------------ trace
typeAnn :: {a} -> a->a
parens :: {a} -> a->a
undefined :: {a}->a
primFix :: {a} -> a->a -> a
'Unit :: Type
TT :: 'Unit
'UnitCase :: (b : 'Unit->Type) -> b TT -> d:'Unit -> b d
match'Unit :: (b : Type->Type) -> b 'Unit -> d:Type -> b d -> b d
'String :: Type
'StringCase :: (b : 'String->Type) -> c:'String -> b c
match'String :: (b : Type->Type) -> b 'String -> d:Type -> b d -> b d
'Empty :: 'String->Type
'EmptyCase :: {a:'String} -> (c : 'Empty a -> Type) -> (d : 'Empty a) -> c d
match'Empty :: (b : Type->Type) -> (c:'String -> b ('Empty c)) -> e:Type -> b e -> b e
unsafeCoerce :: {a} -> {b} -> a->b
'EqCT :: a:Type -> a -> a->Type
parEval :: a:Type -> a -> a->a
'T2 :: Type -> Type->Type
match'Type :: (b : Type->Type) -> b Type -> d:Type -> b d -> b d
'EqCTt :: {a} -> a -> a->Type
t2C :: 'Unit -> 'Unit->'Unit
'Int :: Type
'IntCase :: (b : 'Int->Type) -> c:'Int -> b c
match'Int :: (b : Type->Type) -> b 'Int -> d:Type -> b d -> b d
'Word :: Type
'WordCase :: (b : 'Word->Type) -> c:'Word -> b c
match'Word :: (b : Type->Type) -> b 'Word -> d:Type -> b d -> b d
'Float :: Type
'FloatCase :: (b : 'Float->Type) -> c:'Float -> b c
match'Float :: (b : Type->Type) -> b 'Float -> d:Type -> b d -> b d
'Char :: Type
'CharCase :: (b : 'Char->Type) -> c:'Char -> b c
match'Char :: (b : Type->Type) -> b 'Char -> d:Type -> b d -> b d
'Bool :: Type
False :: 'Bool
True :: 'Bool
'BoolCase :: (b : 'Bool->Type) -> b False -> b True -> e:'Bool -> b e
match'Bool :: (b : Type->Type) -> b 'Bool -> d:Type -> b d -> b d
'Ordering :: Type
LT :: 'Ordering
EQ :: 'Ordering
GT :: 'Ordering
'OrderingCase :: (b : 'Ordering->Type) -> b LT -> b EQ -> b GT -> f:'Ordering -> b f
match'Ordering :: (b : Type->Type) -> b 'Ordering -> d:Type -> b d -> b d
'Nat :: Type
Zero :: 'Nat
Succ :: 'Nat->'Nat
'NatCase :: (b : 'Nat->Type) -> b 0 -> (d:'Nat -> b (Succ d)) -> f:'Nat -> b f
match'Nat :: (b : Type->Type) -> b 'Nat -> d:Type -> b d -> b d
primIntToWord :: 'Int->'Word
primIntToFloat :: 'Int->'Float
primIntToNat :: 'Int->'Nat
primCompareInt :: 'Int -> 'Int->'Ordering
primCompareWord :: 'Word -> 'Word->'Ordering
primCompareFloat :: 'Float -> 'Float->'Ordering
primCompareChar :: 'Char -> 'Char->'Ordering
primCompareString :: 'String -> 'String->'Ordering
primNegateInt :: 'Int->'Int
primNegateWord :: 'Word->'Word
primNegateFloat :: 'Float->'Float
primAddInt :: 'Int -> 'Int->'Int
primSubInt :: 'Int -> 'Int->'Int
primModInt :: 'Int -> 'Int->'Int
primSqrtFloat :: 'Float->'Float
primRound :: 'Float->'Int
primIfThenElse :: {a} -> 'Bool -> a -> a->a
isEQ :: 'Ordering->'Bool
'Num :: Type->Type
fromInt :: {a} -> {b : 'Num a} -> 'Int->a
compare :: {a} -> {b : 'Num a} -> a -> a->'Ordering
negate :: {a} -> {b : 'Num a} -> a->a
'Eq :: Type->Type
== :: {a} -> {b : 'Eq a} -> a -> a->'Bool
'List :: Type->Type
Nil :: {a} -> 'List a
Cons :: {a} -> a -> 'List a -> 'List a
'ListCase :: {a} -> (c : 'List a -> Type) -> c Nil -> (e:a -> (f : 'List a) -> c (Cons e f)) -> (h : 'List a) -> c h
match'List :: (b : Type->Type) -> (c:Type -> b ('List c)) -> e:Type -> b e -> b e
'HList :: 'List Type -> Type
HNil :: 'HList Nil
HCons :: {a} -> {b : 'List Type} -> a -> 'HList b -> 'HList (Cons a b)
'HListCase :: (c : (a : 'List Type) -> 'HList a -> Type) -> c Nil HNil -> ({e} -> {f : 'List Type} -> g:e -> (h : 'HList f) -> c (Cons e f) (HCons e f g h)) -> {j : 'List Type} -> (k : 'HList j) -> c j k
match'HList :: (b : Type->Type) -> ((c : 'List Type) -> b ('HList c)) -> e:Type -> b e -> b e
hlistConsCase :: {a} -> {b : 'List Type} -> (d : 'Unit->Type) -> (a -> 'HList b -> d TT) -> 'HList (Cons a b) -> d TT
hlistNilCase :: (b : 'Unit->Type) -> b TT -> 'HList Nil -> b TT
joinTupleType :: {a} -> {b : 'List Type} -> a -> 'HList b -> 'HList (Cons a b)
------------ tooltips
testdata/Internals.lc 7:1-7:8  {a} -> a->a
testdata/Internals.lc 7:13-7:14  V1
testdata/Internals.lc 10:1-10:7  {a} -> a->a
testdata/Internals.lc 10:12-10:13  V1
testdata/Internals.lc 12:1-12:10  {a}->a
testdata/Internals.lc 12:27-12:31  Type
testdata/Internals.lc 12:35-12:36  Type
testdata/Internals.lc 14:1-14:8  {a} -> a->a -> a
testdata/Internals.lc 14:25-14:29  Type
testdata/Internals.lc 14:33-14:46  Type
testdata/Internals.lc 14:34-14:35  Type
testdata/Internals.lc 14:39-14:40  Type
testdata/Internals.lc 14:45-14:46  Type
testdata/Internals.lc 16:6-16:10  Type
testdata/Internals.lc 16:6-16:15  Type
testdata/Internals.lc 16:13-16:15  Unit
testdata/Internals.lc 17:6-17:12  Type
testdata/Internals.lc 18:6-18:11  String->Type | Type
testdata/Internals.lc 18:18-18:24  Type
testdata/Internals.lc 20:1-20:13  {a} -> {b} -> a->b
testdata/Internals.lc 20:30-20:31  V3
testdata/Internals.lc 20:30-20:36  Type
testdata/Internals.lc 20:35-20:36  Type | V2
testdata/Internals.lc 23:13-23:17  a:Type -> a -> a->Type
testdata/Internals.lc 23:24-23:28  Type
testdata/Internals.lc 23:36-23:37  Type
testdata/Internals.lc 23:36-23:46  Type
testdata/Internals.lc 23:45-23:46  Type
testdata/Internals.lc 32:1-32:8  a:Type -> a -> a->a
testdata/Internals.lc 32:24-32:25  V1
testdata/Internals.lc 32:24-32:35  Type
testdata/Internals.lc 32:29-32:30  Type
testdata/Internals.lc 32:29-32:35  Type
testdata/Internals.lc 32:34-32:35  Type
testdata/Internals.lc 35:13-35:15  Type -> Type->Type
testdata/Internals.lc 37:1-37:11  (b : Type->Type) -> b Type -> d:Type -> b d -> b d
testdata/Internals.lc 37:28-37:32  Type
testdata/Internals.lc 37:36-37:40  Type
testdata/Internals.lc 37:45-37:46  Type->Type
testdata/Internals.lc 37:45-37:51  Type
testdata/Internals.lc 37:45-37:87  Type
testdata/Internals.lc 37:47-37:51  Type
testdata/Internals.lc 37:55-37:87  Type
testdata/Internals.lc 37:68-37:72  Type
testdata/Internals.lc 37:77-37:78  Type->Type
testdata/Internals.lc 37:77-37:80  Type
testdata/Internals.lc 37:77-37:87  Type
testdata/Internals.lc 37:79-37:80  Type
testdata/Internals.lc 37:84-37:85  Type->Type
testdata/Internals.lc 37:84-37:87  Type
testdata/Internals.lc 37:86-37:87  Type
testdata/Internals.lc 39:6-39:11  {a} -> a -> a->Type
testdata/Internals.lc 39:14-39:18  a:Type -> a -> a->Type
testdata/Internals.lc 39:14-39:20  V0 -> V1->Type
testdata/Internals.lc 42:1-42:4  Unit -> Unit->Unit
testdata/Internals.lc 42:8-42:12  Type
testdata/Internals.lc 42:16-42:20  Type
testdata/Internals.lc 42:16-42:28  Type
testdata/Internals.lc 42:24-42:28  Type
testdata/Internals.lc 45:6-45:9  Type
testdata/Internals.lc 46:6-46:10  Type
testdata/Internals.lc 47:6-47:11  Type
testdata/Internals.lc 48:6-48:10  Type
testdata/Internals.lc 50:6-50:10  Type
testdata/Internals.lc 50:6-50:25  Type
testdata/Internals.lc 50:13-50:18  Bool
testdata/Internals.lc 50:21-50:25  Bool
testdata/Internals.lc 52:6-52:14  Type
testdata/Internals.lc 52:6-52:29  Type
testdata/Internals.lc 52:17-52:19  Ordering
testdata/Internals.lc 52:22-52:24  Ordering
testdata/Internals.lc 52:27-52:29  Ordering
testdata/Internals.lc 54:6-54:9  Type
testdata/Internals.lc 54:6-54:23  Type
testdata/Internals.lc 54:12-54:16  Nat
testdata/Internals.lc 54:19-54:23  Nat | Nat->Nat | Type
testdata/Internals.lc 54:24-54:27  Type
testdata/Internals.lc 57:1-57:14  Int->Word
testdata/Internals.lc 57:24-57:27  Type
testdata/Internals.lc 57:33-57:37  Type
testdata/Internals.lc 58:1-58:15  Int->Float
testdata/Internals.lc 58:24-58:27  Type
testdata/Internals.lc 58:33-58:38  Type
testdata/Internals.lc 59:1-59:13  Int->Nat
testdata/Internals.lc 59:24-59:27  Type
testdata/Internals.lc 59:33-59:36  Type
testdata/Internals.lc 60:1-60:15  Int -> Int->Ordering
testdata/Internals.lc 60:24-60:27  Type
testdata/Internals.lc 60:33-60:36  Type
testdata/Internals.lc 60:33-60:50  Type
testdata/Internals.lc 60:42-60:50  Type
testdata/Internals.lc 61:1-61:16  Word -> Word->Ordering
testdata/Internals.lc 61:24-61:28  Type
testdata/Internals.lc 61:33-61:37  Type
testdata/Internals.lc 61:33-61:50  Type
testdata/Internals.lc 61:42-61:50  Type
testdata/Internals.lc 62:1-62:17  Float -> Float->Ordering
testdata/Internals.lc 62:24-62:29  Type
testdata/Internals.lc 62:33-62:38  Type
testdata/Internals.lc 62:33-62:50  Type
testdata/Internals.lc 62:42-62:50  Type
testdata/Internals.lc 63:1-63:16  Char -> Char->Ordering
testdata/Internals.lc 63:24-63:28  Type
testdata/Internals.lc 63:33-63:37  Type
testdata/Internals.lc 63:33-63:50  Type
testdata/Internals.lc 63:42-63:50  Type
testdata/Internals.lc 64:1-64:18  String -> String->Ordering
testdata/Internals.lc 64:24-64:30  Type
testdata/Internals.lc 64:34-64:40  Type
testdata/Internals.lc 64:34-64:52  Type
testdata/Internals.lc 64:44-64:52  Type
testdata/Internals.lc 65:1-65:14  Int->Int
testdata/Internals.lc 65:24-65:27  Type
testdata/Internals.lc 65:33-65:36  Type
testdata/Internals.lc 66:1-66:15  Word->Word
testdata/Internals.lc 66:24-66:28  Type
testdata/Internals.lc 66:33-66:37  Type
testdata/Internals.lc 67:1-67:16  Float->Float
testdata/Internals.lc 67:24-67:29  Type
testdata/Internals.lc 67:33-67:38  Type
testdata/Internals.lc 68:1-68:11  Int -> Int->Int
testdata/Internals.lc 68:24-68:27  Type
testdata/Internals.lc 68:33-68:36  Type
testdata/Internals.lc 68:33-68:45  Type
testdata/Internals.lc 68:42-68:45  Type
testdata/Internals.lc 69:1-69:11  Int -> Int->Int
testdata/Internals.lc 69:24-69:27  Type
testdata/Internals.lc 69:33-69:36  Type
testdata/Internals.lc 69:33-69:45  Type
testdata/Internals.lc 69:42-69:45  Type
testdata/Internals.lc 70:1-70:11  Int -> Int->Int
testdata/Internals.lc 70:24-70:27  Type
testdata/Internals.lc 70:33-70:36  Type
testdata/Internals.lc 70:33-70:45  Type
testdata/Internals.lc 70:42-70:45  Type
testdata/Internals.lc 71:1-71:14  Float->Float
testdata/Internals.lc 71:24-71:29  Type
testdata/Internals.lc 71:33-71:38  Type
testdata/Internals.lc 72:1-72:10  Float->Int
testdata/Internals.lc 72:24-72:29  Type
testdata/Internals.lc 72:33-72:36  Type
testdata/Internals.lc 75:19-75:23  Type
testdata/Internals.lc 75:19-75:38  Type
testdata/Internals.lc 75:27-75:28  V2
testdata/Internals.lc 75:27-75:38  Type
testdata/Internals.lc 75:32-75:33  Type
testdata/Internals.lc 75:32-75:38  Type
testdata/Internals.lc 75:37-75:38  Type
testdata/Internals.lc 76:1-76:15  {a} -> Bool -> a -> a->a
testdata/Internals.lc 76:16-76:20  Bool
testdata/Internals.lc 76:16-77:29  Bool -> V1 -> V2->V3 | V1 -> V2->V3 | V2->V3 | V3
testdata/Internals.lc 76:28-76:29  V3
testdata/Internals.lc 76:28-77:29  Bool->V4
testdata/Internals.lc 77:28-77:29  V4
testdata/Internals.lc 79:1-79:5  Ordering->Bool
testdata/Internals.lc 79:6-79:8  V1
testdata/Internals.lc 79:6-80:15  Bool
testdata/Internals.lc 79:11-79:15  Bool
testdata/Internals.lc 79:11-80:15  Bool -> Ordering->Bool
testdata/Internals.lc 80:10-80:15  Bool
testdata/Internals.lc 83:7-83:10  Type->Type
testdata/Internals.lc 83:7-84:22  Type
testdata/Internals.lc 83:7-85:32  Type
testdata/Internals.lc 83:7-86:19  Type
testdata/Internals.lc 84:3-84:10  {a} -> {b : Num a} -> Int->a
testdata/Internals.lc 84:14-84:17  Type
testdata/Internals.lc 84:14-84:22  Type
testdata/Internals.lc 84:21-84:22  Type
testdata/Internals.lc 85:3-85:10  {a} -> {b : Num a} -> a -> a->Ordering
testdata/Internals.lc 85:14-85:15  Type
testdata/Internals.lc 85:14-85:32  Type
testdata/Internals.lc 85:19-85:20  Type
testdata/Internals.lc 85:19-85:32  Type
testdata/Internals.lc 85:24-85:32  Type
testdata/Internals.lc 86:3-86:9  {a} -> {b : Num a} -> a->a
testdata/Internals.lc 86:13-86:14  Type
testdata/Internals.lc 86:13-86:19  Type
testdata/Internals.lc 86:18-86:19  Type
testdata/Internals.lc 88:14-88:17  Type
testdata/Internals.lc 88:14-89:20  Int->V2 -> Int->V3
testdata/Internals.lc 88:14-90:27  (V1 -> V2->Ordering) -> V2 -> V3->Ordering
testdata/Internals.lc 88:14-91:26  V1->V2 -> V2->V3
testdata/Internals.lc 88:14-100:17  Type | Type->Type
testdata/Internals.lc 88:14-101:25  Int->V2 | {a : Num V0} -> Int->V2 | {a} -> {b : Num a} -> Int->a
testdata/Internals.lc 88:14-102:22  V1 -> V2->Ordering | {a : Num V0} -> V1 -> V2->Ordering | {a} -> {b : Num a} -> a -> a->Ordering
testdata/Internals.lc 88:14-103:22  V1->V2 | {a : Num V0} -> V1->V2 | {a} -> {b : Num a} -> a->a
testdata/Internals.lc 89:19-89:20  V1
testdata/Internals.lc 90:13-90:27  Int -> Int->Ordering
testdata/Internals.lc 91:13-91:26  Int->Int
testdata/Internals.lc 92:14-92:18  Type
testdata/Internals.lc 92:14-93:26  Int->V2 -> Int->V3
testdata/Internals.lc 92:14-94:28  (V1 -> V2->Ordering) -> V2 -> V3->Ordering
testdata/Internals.lc 92:14-95:27  V1->V2 -> V2->V3
testdata/Internals.lc 92:14-100:17  Type
testdata/Internals.lc 92:14-101:25  Int->V2
testdata/Internals.lc 92:14-102:22  V1 -> V2->Ordering
testdata/Internals.lc 92:14-103:22  V1->V2
testdata/Internals.lc 93:13-93:26  Int->Word
testdata/Internals.lc 94:13-94:28  Word -> Word->Ordering
testdata/Internals.lc 95:13-95:27  Word->Word
testdata/Internals.lc 96:14-96:19  Type
testdata/Internals.lc 96:14-97:27  Int->V2 -> Int->V3
testdata/Internals.lc 96:14-98:29  (V1 -> V2->Ordering) -> V2 -> V3->Ordering
testdata/Internals.lc 96:14-99:28  V1->V2 -> V2->V3
testdata/Internals.lc 96:14-100:17  Type
testdata/Internals.lc 96:14-101:25  Int->V2
testdata/Internals.lc 96:14-102:22  V1 -> V2->Ordering
testdata/Internals.lc 96:14-103:22  V1->V2
testdata/Internals.lc 97:13-97:27  Int->Float
testdata/Internals.lc 98:13-98:29  Float -> Float->Ordering
testdata/Internals.lc 99:13-99:28  Float->Float
testdata/Internals.lc 100:14-100:17  Type
testdata/Internals.lc 100:14-101:25  Int->V2 -> Int->V3
testdata/Internals.lc 100:14-102:22  (V1 -> V2->Ordering) -> V2 -> V3->Ordering
testdata/Internals.lc 100:14-103:22  V1->V2 -> V2->V3
testdata/Internals.lc 101:13-101:25  Int->Nat
testdata/Internals.lc 102:13-102:22  {a}->a
testdata/Internals.lc 103:13-103:22  {a}->a
testdata/Internals.lc 105:7-105:9  Type->Type
testdata/Internals.lc 105:7-106:27  Type
testdata/Internals.lc 105:7-121:29  V0->V1 | {a} -> {b : Eq a} -> a -> a->Bool
testdata/Internals.lc 106:6-106:8  {a} -> {b : Eq a} -> a -> a->Bool
testdata/Internals.lc 106:13-106:14  Type
testdata/Internals.lc 106:13-106:27  Type
testdata/Internals.lc 106:18-106:19  Type
testdata/Internals.lc 106:18-106:27  Type
testdata/Internals.lc 106:23-106:27  Type
testdata/Internals.lc 110:13-110:19  Type
testdata/Internals.lc 110:13-110:63  (V1 -> V2->Bool) -> V2 -> V3->Bool
testdata/Internals.lc 110:13-118:16  Type | Type->Type
testdata/Internals.lc 110:13-121:29  V1 -> V2->Bool | {a : Eq V0} -> V1 -> V2->Bool | {a} -> {b : Eq a} -> a -> a->Bool
testdata/Internals.lc 110:35-110:39  Ordering->Bool
testdata/Internals.lc 110:35-110:63  Bool
testdata/Internals.lc 110:41-110:58  String -> String->Ordering
testdata/Internals.lc 110:41-110:60  String->Ordering
testdata/Internals.lc 110:41-110:62  Ordering
testdata/Internals.lc 110:59-110:60  V3
testdata/Internals.lc 110:61-110:62  V1
testdata/Internals.lc 111:13-111:17  Type
testdata/Internals.lc 111:13-111:59  (V1 -> V2->Bool) -> V2 -> V3->Bool
testdata/Internals.lc 111:13-118:16  Type
testdata/Internals.lc 111:13-121:29  V1 -> V2->Bool
testdata/Internals.lc 111:33-111:37  Ordering->Bool
testdata/Internals.lc 111:33-111:59  Bool
testdata/Internals.lc 111:39-111:54  Char -> Char->Ordering
testdata/Internals.lc 111:39-111:56  Char->Ordering
testdata/Internals.lc 111:39-111:58  Ordering
testdata/Internals.lc 111:55-111:56  V3
testdata/Internals.lc 111:57-111:58  V1
testdata/Internals.lc 112:13-112:16  Type
testdata/Internals.lc 112:13-112:57  (V1 -> V2->Bool) -> V2 -> V3->Bool
testdata/Internals.lc 112:13-118:16  Type
testdata/Internals.lc 112:13-121:29  V1 -> V2->Bool
testdata/Internals.lc 112:32-112:36  Ordering->Bool
testdata/Internals.lc 112:32-112:57  Bool
testdata/Internals.lc 112:38-112:52  Int -> Int->Ordering
testdata/Internals.lc 112:38-112:54  Int->Ordering
testdata/Internals.lc 112:38-112:56  Ordering
testdata/Internals.lc 112:53-112:54  V3
testdata/Internals.lc 112:55-112:56  V1
testdata/Internals.lc 113:13-113:18  Type
testdata/Internals.lc 113:13-113:61  (V1 -> V2->Bool) -> V2 -> V3->Bool
testdata/Internals.lc 113:13-118:16  Type
testdata/Internals.lc 113:13-121:29  V1 -> V2->Bool
testdata/Internals.lc 113:34-113:38  Ordering->Bool
testdata/Internals.lc 113:34-113:61  Bool
testdata/Internals.lc 113:40-113:56  Float -> Float->Ordering
testdata/Internals.lc 113:40-113:58  Float->Ordering
testdata/Internals.lc 113:40-113:60  Ordering
testdata/Internals.lc 113:57-113:58  V3
testdata/Internals.lc 113:59-113:60  V1
testdata/Internals.lc 114:13-114:17  Type
testdata/Internals.lc 114:13-117:19  (V1 -> V2->Bool) -> V2 -> V3->Bool
testdata/Internals.lc 114:13-118:16  Type
testdata/Internals.lc 114:13-121:29  V1 -> V2->Bool
testdata/Internals.lc 115:5-115:9  V2
testdata/Internals.lc 115:5-117:19  Bool
testdata/Internals.lc 115:13-115:17  Bool
testdata/Internals.lc 115:13-117:19  Bool
testdata/Internals.lc 115:20-115:24  Bool
testdata/Internals.lc 115:20-117:19  Bool->Bool
testdata/Internals.lc 116:14-116:19  V1
testdata/Internals.lc 116:14-117:19  Bool
testdata/Internals.lc 116:22-116:26  Bool
testdata/Internals.lc 116:22-117:19  Bool->Bool
testdata/Internals.lc 117:14-117:19  Bool
testdata/Internals.lc 118:13-118:16  Type
testdata/Internals.lc 118:13-121:29  (V1 -> V2->Bool) -> V2 -> V3->Bool
testdata/Internals.lc 119:5-119:9  V2
testdata/Internals.lc 119:5-121:29  Bool
testdata/Internals.lc 119:15-119:19  V1
testdata/Internals.lc 119:15-121:29  Bool
testdata/Internals.lc 119:24-119:28  Bool
testdata/Internals.lc 119:24-121:29  Nat->Bool
testdata/Internals.lc 120:15-120:19  Nat
testdata/Internals.lc 120:15-121:29  Bool | Nat->Bool
testdata/Internals.lc 120:24-120:25  Nat
testdata/Internals.lc 120:24-120:28  Nat->Bool
testdata/Internals.lc 120:24-120:30  Bool | Nat->Bool
testdata/Internals.lc 120:24-121:29  Nat->Bool
testdata/Internals.lc 120:26-120:28  {a} -> {b : Eq a} -> a -> a->Bool
testdata/Internals.lc 120:29-120:30  Nat
testdata/Internals.lc 121:24-121:29  Bool | Nat->Bool
testdata/Internals.lc 123:6-123:10  Type | Type->Type
testdata/Internals.lc 123:6-123:25  Type
testdata/Internals.lc 123:6-123:36  Type
testdata/Internals.lc 123:15-123:18  List V1 | {a} -> List a
testdata/Internals.lc 123:21-123:25  List V4 | Type | {a} -> a -> List a -> List a
testdata/Internals.lc 123:26-123:27  Type
testdata/Internals.lc 123:29-123:33  Type->Type
testdata/Internals.lc 123:29-123:35  Type
testdata/Internals.lc 123:34-123:35  Type
testdata/Internals.lc 127:6-127:11  List Type -> Type | Type
testdata/Internals.lc 127:6-129:45  Type
testdata/Internals.lc 127:16-127:20  Type
testdata/Internals.lc 127:25-127:29  Type
testdata/Internals.lc 128:5-128:9  HList 'Nil
testdata/Internals.lc 128:5-128:22  Type
testdata/Internals.lc 128:13-128:18  List Type -> Type
testdata/Internals.lc 128:13-128:22  Type
testdata/Internals.lc 128:19-128:22  {a} -> List a
testdata/Internals.lc 129:5-129:10  HList ('Cons V3 V2) | {a} -> {b : List Type} -> a -> HList b -> HList ('Cons a b)
testdata/Internals.lc 129:5-129:45  Type
testdata/Internals.lc 129:14-129:15  V3
testdata/Internals.lc 129:14-129:45  Type
testdata/Internals.lc 129:19-129:24  List Type -> Type
testdata/Internals.lc 129:19-129:27  Type
testdata/Internals.lc 129:19-129:45  Type
testdata/Internals.lc 129:25-129:27  V2
testdata/Internals.lc 129:31-129:36  List Type -> Type
testdata/Internals.lc 129:31-129:45  Type
testdata/Internals.lc 129:39-129:40  Type
testdata/Internals.lc 129:39-129:41  List Type -> List Type
testdata/Internals.lc 129:39-129:44  List Type
testdata/Internals.lc 129:40-129:41  {a} -> a -> List a -> List a
testdata/Internals.lc 129:42-129:44  List Type
testdata/Internals.lc 131:1-131:14  {a} -> {b : List Type} -> (d : Unit->Type) -> (a -> HList b -> d 'TT) -> HList ('Cons a b) -> d 'TT
testdata/Internals.lc 132:21-132:25  Type
testdata/Internals.lc 132:33-132:37  Type->Type
testdata/Internals.lc 132:33-132:42  Type
testdata/Internals.lc 132:33-136:13  Type
testdata/Internals.lc 132:38-132:42  Type
testdata/Internals.lc 133:8-136:13  Type
testdata/Internals.lc 133:21-133:25  Type
testdata/Internals.lc 133:29-133:33  Type
testdata/Internals.lc 134:8-136:13  Type
testdata/Internals.lc 134:9-134:10  Type
testdata/Internals.lc 134:14-134:19  List Type -> Type
testdata/Internals.lc 134:14-134:21  Type
testdata/Internals.lc 134:14-134:30  Type
testdata/Internals.lc 134:20-134:21  List Type
testdata/Internals.lc 134:25-134:26  Unit->Type
testdata/Internals.lc 134:25-134:30  Type
testdata/Internals.lc 134:27-134:30  Unit
testdata/Internals.lc 135:8-135:13  List Type -> Type
testdata/Internals.lc 135:8-135:24  Type
testdata/Internals.lc 135:8-136:13  Type
testdata/Internals.lc 135:15-135:19  {a} -> a -> List a -> List a
testdata/Internals.lc 135:15-135:21  List Type -> List Type
testdata/Internals.lc 135:15-135:23  List Type
testdata/Internals.lc 135:20-135:21  Type
testdata/Internals.lc 135:22-135:23  List Type
testdata/Internals.lc 136:8-136:9  Unit->Type
testdata/Internals.lc 136:8-136:13  Type
testdata/Internals.lc 136:10-136:13  Unit
testdata/Internals.lc 145:1-145:13  (b : Unit->Type) -> b 'TT -> HList 'Nil -> b 'TT
testdata/Internals.lc 145:30-145:34  Type
testdata/Internals.lc 145:38-145:42  Type
testdata/Internals.lc 145:47-145:48  Unit->Type
testdata/Internals.lc 145:47-145:52  Type
testdata/Internals.lc 145:47-145:74  Type
testdata/Internals.lc 145:49-145:52  Unit
testdata/Internals.lc 145:56-145:61  List Type -> Type
testdata/Internals.lc 145:56-145:65  Type
testdata/Internals.lc 145:56-145:74  Type
testdata/Internals.lc 145:62-145:65  {a} -> List a
testdata/Internals.lc 145:69-145:70  Unit->Type
testdata/Internals.lc 145:69-145:74  Type
testdata/Internals.lc 145:71-145:74  Unit
testdata/Internals.lc 171:1-171:14  {a} -> {b : List Type} -> a -> HList b -> HList ('Cons a b)
testdata/Internals.lc 171:17-171:22  {a} -> {b : List Type} -> a -> HList b -> HList ('Cons a b)