type error: no instance of 'Show' on ???
in Wildcard2 builtin 'Type

------------ trace
'X :: Type
X :: 'X
'XCase :: (b : 'X->Type) -> b X -> d:'X -> b d
match'X :: (b : Type->Type) -> b 'X -> d:Type -> b d -> b d
'Show' :: Type->Type
show' :: {a} -> {b : 'Show' a} -> a->'X
!type error: no instance of 'Show' on ???
in Wildcard2 builtin 'Type

------------ tooltips
testdata/typesigctx.reject.lc 1:6-1:7  Type
testdata/typesigctx.reject.lc 1:6-1:11  Type
testdata/typesigctx.reject.lc 1:10-1:11  X
testdata/typesigctx.reject.lc 3:7-3:12  Type->Type
testdata/typesigctx.reject.lc 3:7-3:36  Type
testdata/typesigctx.reject.lc 3:21-3:26  {a} -> {b : Show' a} -> a->X
testdata/typesigctx.reject.lc 3:30-3:31  Type
testdata/typesigctx.reject.lc 3:30-3:36  Type
testdata/typesigctx.reject.lc 3:35-3:36  Type
testdata/typesigctx.reject.lc 5:11-5:12  Type
testdata/typesigctx.reject.lc 6:10-6:15  {a} -> {b : Show' a} -> a->X