type
  Container[T] = concept c
    c.len is Ordinal
    items(c) is T
    for value in c:
      type(value) is T

proc foo(x: Container[int]) =
  for item in x:
    echo item

foo(@[1,2,3,4])