On Tue, 13 Nov 2018, David Feuer wrote: > No, genericLength is *not* a decent stopgap. It's horrible. Just look at > the implementation! It looks like it is intended to return something like a lazy Peano number.