Seq has its type, first and rest expect it

As a result (first 1) is a class cast exception instead of a crash.