{-# htermination group :: [Float] -> [[Float]] #-} import List