I think it's possible to match on a subset in principe, but I don't know if/how this is implemented.