Returns the size/length of a finite structure as an Int. The
default implementation is optimized for structures that are similar to
cons-lists, because there is no general way to do better.
Test whether the structure is empty. The default implementation is
optimized for structures that are similar to cons-lists, because there
is no general way to do better.