だれとはなくに
モナドは「型構築子」の性質であって、データの性質じゃないよ。