I see, you can pass in a function that computes the length. I wonder if a declarative or formal solution will ever exist.