monadはmonoid（群のなりそこない）のパクリらしいとの
話もあるが本当か？