How to echo distinct type

[namisboss]

As Termer said you can convert myVar back to an int to print it. Alternatively 
you can define your own proc that converts it to text:
    
    
    proc `$`(a: Hotkey): string =
      return "Value: " & $int(a)
    
    
    Run

The way varargs works is that it assumes each arg is a string and if not 
applies `$(arg)` to try to convert it to a string.