>>795
函手 F 上の monad と G 上の monad が与えられたとき，
合成函手 F G 上の monad を構成することが合成に相当する．

合成には複数の方法があることも，全く存在しないこともある．