Before refactoring richTypes to use side-effects