積 f***g = \x-> Just x >>= f >>= g
和 f+++g = \x-> Nothing `mplus` f x `mplus` g x