この制約は AnySequence の init が担保するから、 AnySequence がほしければ普通に AnySequence(foo.prefix(3)) とかでいい気が。