main is not found
------------ trace
'Empty :: Type
'EmptyCase :: (a : 'Empty->Type) -> b:'Empty -> a b
match'Empty :: (a : Type->Type) -> a 'Empty -> b:Type -> a b -> a b
------------ tooltips
testdata/empty.lc 3:6-3:11  Type