[ Sequence ] type

☞ x ≔ Sequence new.
☞ y ≔ x type.
✎ write: y, stop.
Sequence