How to produce type using macro?

I wanted to make a macro like #Tuple(Int, 4) == (Int, Int, Int, Int). But it seems there's no way to produce type itself using macro. Is there any way to achieve this type of macro, or any evolution discussion to enable that?