>>100
(a `mplus` b) >>= k == (a >>= k) `mplus` (b >>= k)とかもMonadPlusの性質としてあるんだけど
これもMonoidとMonadの性質だけから導き出せると思う？