You seem to have primitive obsession. TS checks for more complex types as well.