0 | module Data.Integral 1 | 2 | export 3 | even : Integral n => Eq n => n -> Bool 4 | even n = n `mod` 2 == 0 5 | 6 | export 7 | odd : Integral n => Eq n => n -> Bool 8 | odd = not . even 9 |