>>110
自分も両辺のMonadPlusのインスタンスに対してmzeroと/=mzeroの場合で場合わけすればいけるのかなーとか考えてたんだけどやっぱ無理なのか
http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/tactics.pdf
の論文ではMonadPlusのインスタンスが満たすべき性質として>>108の分配法則が提示されてるから、
多分MonadとMonoidってだけでは証明できないと思うんだよな
そういう疑問が沸いたので>>108の質問を投げかけたわけで