> たとえば　http://d.hatena.ne.jp/itto100pen/20090710　に、モナド則の一部が満たされない例があります。
ページ紹介ありがとうござます。
そこの return x = [x x] は、（私の思うｗ）「ふつうの」定義ではないので、
それがモナド則を満たさないのも尤もかなと思いました