You can do something like this:
type P[T] = ptr T | ref T | var T proc foobar(x: P[int]) = discard Run
type P[T] = ptr T | ref T | var T proc foobar(x: P[int]) = discard