The declared and dynamic types of a polymorphic object are apparently allowed to be SEQUENCE types. I don't think it causes trouble, but maybe it does.