{-# htermination group :: (Eq a, Eq k) => [(Either a k)] -> [[(Either a k)]] #-}
import List