Как в макросах проверить, к примеру, что тип последнего параметра метода является Dictionary[TKey,TValue] и, если это так, получить типы TKey и TValue.
Интересует вообще, как типы можно сравнивать, а то на match ругается, говорит нельзя.