Love it - super clean and easy to read! I guess performance wouldn't be great on very large lists - or will Haskell be able to take some shortcuts?

the minimum might be a different value than the greatest common denominator of a sample's length i.e. "11111111000000", in which case you should resample by a factor of the latter in order to minimize ambiguity