Excerpts from Don Stewart's message of Wed Feb 24 16:13:38 -0500 2010: > These are exported from vector, though. Aha! I was looking in Data.Vector for them; they're actually in Data.Vector.Generic. Awesome. Cheers, Edward