IOモナドがモナド則(associativity)を満たしているというのがいまだに腑に落ちない