Type-directed sequences (ala van der Ploeg and Kiselyov)