Is there any point in having this as well as `len`?