You can match directly against the type of v, but you need a value pattern to refer to the types to match, as a "dotless" name is a capture pattern that matches any value.
Match The Types Of Artificial Satellites With Their Uses