Stream.tails, Stream.hasSubsequence