focus checkMetas: \a -> (\(b :: Type) -> primFix a b) (\(a := Type) -> \(c :: Type) -> <<HERE>>)
\(d :: Type ~ _a) (e :: _a ~ 'X) -> typeAnn _a (labend X)
------------ trace
'X :: Type
X :: 'X
'XCase :: (a :: 'X -> Type) -> a X -> (b :: 'X) -> a b
match'X :: (a :: Type -> Type) -> a 'X -> (b :: Type) -> a b -> a b
!focus checkMetas: \a -> (\(b :: Type) -> primFix a b) (\(a := Type) -> \(c :: Type) -> <<HERE>>)
\(d :: Type ~ _a) (e :: _a ~ 'X) -> typeAnn _a (labend X)
------------ tooltips
testdata/typesig.reject.lc 4:6-4:7  Type
testdata/typesig.reject.lc 4:6-4:11  Type
testdata/typesig.reject.lc 4:10-4:11  X
testdata/typesig.reject.lc 6:6-6:7  _b
testdata/typesig.reject.lc 6:6-7:6  _a -> _a | _c
testdata/typesig.reject.lc 7:5-7:6  X