I guess the same as Integer otherwise. `Integer + Integer = Even` means that they both have the same parity.