Look up proc signature from an ident

[Nycto]

Awesome! Thank you

I might be pressing my luck, but is it possible to do this with concepts, too?
    
    
    import macros
    
    macro examine(ident: typed) =
        echo ident.getImpl.repr
    
    # ----
    
    type Foo = concept f
    
    proc someProc(arg: Foo) =
        discard
    
    examine(someProc)
    
    
    Run

Fails with:
    
    
    tests/t_example.nim(13, 9) Error: 'someProc' doesn't have a concrete type, 
due to unspecified generic parameters.
    
    
    Run