Function type check of generic function

[giaco]

How to check and pass around generic function implementation type?
    
    
    type Fid[A] = proc(x: A): A {.noSideEffect.}
    
    func id[T](x: T): T = x
    
    echo id(42)
    
    echo Fid[int]
    echo id[int].type
    echo id[int] is Fid[int]  # why false?
    
    
    Run