In the past, the only way I found to pass a parametrized type to a macro function was that and you end with

case EParenthesis( { expr : ECheckType(_, path) } )    : path;

where path is your path lol