type error: no instance of 'Component on ???
in testdata/adhoc.reject.lc:4:5:
x = one :: Vec 4 A
    ^^^
------------ trace
'A :: Type
A :: A
case'A :: forall (a :: A -> Type) -> a 'A -> forall (b :: A) -> a b
match'A :: forall (a :: Type -> Type) -> a A -> forall b -> a b -> a b
!type error: no instance of 'Component on ???
in testdata/adhoc.reject.lc:4:5:
x = one :: Vec 4 A
    ^^^
------------ tooltips
2:6-2:7
    Type | Type | Type | Type | Type
2:6-2:11
    Type
2:10-2:11
    A
4:5-4:8
    forall a . Component a => a
4:12-4:15
    Nat -> Type -> Type
4:12-4:17
    Type -> Type
4:12-4:19
    Type
4:16-4:17
    _b
4:18-4:19
    Type