f.hs

spreadBits :: Int -> Int -> [Int]
spreadBits n m = go [] 0.5 0
  where    
    go :: [Int] -> Float -> Int -> [Int]
    go result leapTotal i | i <= n
                          = go (whole + leap : result) leapTotal'' (i + 1)
                          
                          | otherwise
                          = reverse result
               
      where
        leapTotal' = leapTotal + fraction
        (leap :: Int, leapTotal'') = properFraction leapTotal'
        
    zeroGroupSize :: Float
    zeroGroupSize = ((/) `on` fromIntegral) (m - n) (n + 1)

    (whole :: Int, fraction :: Float) = properFraction zeroGroupSize