You dont need the `concept`. You can just directly use the typeclass `distinct`
    
    
    proc `$`[T: distinct](x: T): string = $T & '(' & $(T.distinctBase)(x) & ')'
    
    
    Run

Reply via email to