{-# htermination groupBy :: (a -> a -> Bool) -> [a] -> [[a]] #-}
import List