Haskell Euler的错误？

Question

我正在尝试使用Haskell来计算Euler的函数：

totient m = product [(p - 1) * p ^ (c) | (p, c) <- prime_factors_mult m]

但是，这根本不能计算小于m的互质因子。我的逻辑中有错误吗？我认为(p-1)是正确的数字，但它没有给我我需要的结果..