myGCD :: Integral a => a -> a -> a
myGCD x 0 = x
myGCD x y = myGCD y (x `mod` y)