Oops. It'll allow us to add more type operators later in the future.