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