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