When spec was proposed I remember some talk of compile-time checking of some annotations. I don't know whether anything came of that, but in theory it would al

When spec was proposed I remember some talk of compile-time checking of some annotations. I don't know whether anything came of that, but in theory it would allow what you're talking about. That has no relation to seq, though, which is the kind of thing supported by many statically typed languages.