While doing work to support user-extensible sequences, it was discovered that the ANSI CL standard forbids integration of certain functions with not only user-extensible sequences but also implementation extensions of sequence. Irrespective of the future of user-extensible sequences, we argue that the restriction on implementations imposed by the wording adopted is too stringent, and propose an alternative.