use new [T+] syntax for Sequence