1. Use a typeclass for all the length operations on Domain types.