{-# htermination msum :: [[] a] -> [] a #-}
import Monad