I want to have a type that checks if the value is an odd number or not. I tried to find something but I