Remove duplication via TypeOperators

:. is neat! TIL TypeOperators