Estou apenas começando a me ensinar Haskell. Este código deve fazer a fatoração principal:

divides :: Integer -> Integer -> Bool
divides small big = (big `mod` small == 0)

lowestDivisor :: Integer -> Integer
lowestDivisor n = lowestDivisorHelper 2 n
    where lowestDivisorHelper m n
        | (m `divides` n) = m  -- these should belong to lowestDivisorHelper
        | otherwise = lowestDivisorHelper (m+1) n

primeFactors :: Integer -> [Integer]
primeFactors 1 = []
primeFactors n
    | n < 1 = error "Must be positive"
    | otherwise = let m = lowestDivisor n
                  in m:primeFactors (n/m)

Eu recebo um erro de análise na linha comentada. Eu acho que meu problema pode ser quelowestDivisorHelper tem guardas, mas o compilador não sabe se os guardas pertencem alowestDivisorHelper oulowestDivisor. Como faço para contornar isso?

Devo acrescentar que não queria definir a função auxiliar no nível superior para ocultar os detalhes da implementação. Importar o arquivo não deve levar a função auxiliar com ele.