We really shouldn't have to write `UMap.length myMap` if we don't have to.
We really shouldn't have to write
UMap.length myMapif we don't have to.