2つのモナドのあいだにベックの分配法則〈Beck's distributive law〉があれば、それらを組み合わせて複合モナドを作れます。複合モナドの構成は、2つのモナドから1つのモナドを生成するので、一種の“積”と考えられます。この“積”を花輪積〈wreath product | …