@Araq it still doesn't compile: > Error: type mismatch: got (seq[int]) but expected one of: proc first[T](x: > Container[T]): T
Mainly, because of ["Generic concepts" (Foo[T] = concept) don't work."](http://forum.nim-lang.org///forum.nim-lang.org/t/2366) . Also, it's pretty weird to describe type signatures with values, isn't it?
