{-# htermination showList :: (Show a, Show k) => [(Either a k)] -> String -> String #-}