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