1 2 3
coprime :: Integral a => a -> a -> Bool coprime x 0 = x == 1 coprime x y = coprime y (x `mod` y)