type Foo[N: static[int], T] = object
  data: array[N, T]

proc newFoo[N: static int, T](arr: array[N, T]): Foo[N,T] = discard

proc `+`[A: Foo](a: A; t: A.T): string = "A"
proc `+`[A: Foo](t: A.T; a: A): string = "B"

let v = newFoo([0.0])
echo 1.0 + v