# all I meant was this:
proc whatever(someValue: SomeNumber)
proc whatever[T: SomeNumber](someValue: T)