`typedesc` returned from a `typedesc[proc]`

[dawkot]

Is there a way to get the return type of a proc type as a typedesc?

ex. 
    
    
    type Proc = proc: int
    type ReturnType = Proc.???
    
    
    Run