Функция mutual :: Integer -> Integer -> Bool определяет, являются ли заданные два числа взаимно простыми

gcd' :: Integer -> Integer -> Integer
gcd' n m | (m > n) = gcd' m n 
         | (m == 0) = n
         | otherwise = gcd' m (n `rem` m)
 
mutual :: Integer -> Integer -> Bool
mutual x y = (gcd' x y)==1

import System.Environment
 
gcd' :: Integer -> Integer -> Integer
gcd' n m | (m > n) = gcd' m n 
         | (m == 0) = n
         | otherwise = gcd' m (n `rem` m)
 
mutual :: Integer -> Integer -> Bool
mutual x y = (gcd' x y)==1
 
testpairs x y = [(z,r) | z <- x, r <- y, z /= r, z < r]
 
toprint x1 x2 y1 y2 = zip tp $ map (\(x,y) -> mutual x y) tp
                                  where l1 = [x1..x2]
                                        l2 = [y1..y2]
                                        tp = testpairs l1 l2
 
main = do
        args <- getArgs
        case args of
            [] -> cprn $ toprint 10 15 20 23
            [x,y] -> do
                        let d1 = read x :: Integer
                            d2 = read y :: Integer
                        cprn $ toprint 2 d1 2 d2
            [x1,x2,y1,y2] -> do
                                let d1 = read x1 :: Integer
                                    d2 = read x2 :: Integer
                                    d3 = read y1 :: Integer
                                    d4 = read y2 :: Integer
                                cprn $ toprint d1 d2 d3 d4
            otherwise ->  putStrLn "Wrong args"
        where 
              cnv ((x,y), bl) | bl        = (sxy x y) ++ " -> Взаимно простые"
                              | otherwise = (sxy x y) ++ " -> Не взаимно простые"
              sxy x y = show x ++ " и " ++ show y
              cprn x = mapM_ putStrLn $ map cnv x

ghc -O2 main.hs