some conversion functions that use Sequence.t2