Is there a bestiary of examples for the current pattern matching proposal(s)?
It seems I don't have a good handle on how one matches simple tests like callability,
Doable using protocols.
function signatures,
I don't think that's directly doable, but there might be some way to bend it to protocols.
possession of
specific attribute(s).....etc.
Protocols.
Also will matching ever extend into the Typing universe?
In what way do you have in mind? With protocol support baked into PEP 634 that already ties into type hints.