Is it possible to use data/collection stuff with typed racket?

I tried yesterday and it seemed like typed racket did not provide any collection-lib stuff. I assume its possible to write the types myself but this is part of my first toe into typed racket and I dont’ super want to plunge right into the “figuring out generics with covariance” deep end

so to the above question - not using data/collection - I’m trying to create a cycle of the symbols A and B for N items

This is what I’ve got figured out, but it doesn’t seem all that slick (require threading) (~>> (in-cycle '(A B)) (in-slice 9) sequence->stream stream-first sequence->list)