Evens in Idris
even and odd mutually