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