type
  Pt[T; s: static cint] = object
    x: T
    y: T
  Pos = Pt[cint, 1]

proc plus[T; s: static cint](a, b: Pt[T, s]): Pt[T, s] =
  return Pt[T, s](x: a.x + b.x, y: a.y + b.y)

let p1 = Pos(x:1, y:1)
let p2 = Pos(x:2, y:3)
echo plus(p1, p2)