定義なんだからモナド則はこれっていう以上の何が必要なんかわからん。
遠回しもくそもないだろ。