[tel]

It is sequencing—but just not in "time". It sequences in "potential dependency order". This is most clear if you look at free monads.