とにかくモナド則ってモナドの本質とは全然関係ないですよね。
そのネーミングがよくないなｗ