Unspecified generics in type fields

[shirleyquirk]

I take it all back you're completely correct, and it is a bug.

Replacing `seq` with any other typeclass gives an error I think you'd 
appreciate:

> Error 'seq' is not a concrete type