CountedList needed TypeOperators, but was missing it.