Get proc arg type with templates

[Arrrrrrrrr]

Is it possible without using custom macros, to get the type of a proc argument?
    
    
    proc inc(a: int): int = a + 1
    template typeArg(p): type = ???
    # typeArg(inc) = int
    
    
    Run