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