axman6

fft :: [[Integer]] -> [Integer] -> Integer -> Integer -> Integer -> Integer
fft as rho m mM sig pc = ... cooleyTukey bs (rhoMult m mM) (mM `div` mM) ...
    where Ibs = zipWith (badMult m mM sig pc) pr as
          pr = powersOfRho (m * 2) rho m mM sig pc

data Constants = C { mM :: Integer, sig :: Integer, pc :: Integer}

fft :: [[Integer]] -> [Integer] -> Integer -> Integer -> Integer -> Integer
fft as rho m mM sig pc = runReader fft' (Constants mM sig pc)