>定義 graded monad T とは、preordered monoid E から ［C,C］ へのlax monoidal functorのことである。