Can you pattern match on Python types?

I’ve seen simple examples:

import builtins

match x:
    case builtins.str:
        print("matched str")
    case buildins.int:
        print("matched int")

But I’d like to pattern match on a nested type, something like Annotated[Optional[Literal["a", "b", "c"]], "something here"] – is this possible?