総称としては不確定性モナド〈uncertainty monad〉がいいかな。 ジリィ・モナド〈Giry monad〉 ラドン・モナド〈Radon monad〉 カントロビッチ・モナド〈Kantorovich monad〉 順序カントロビッチ・モナド〈ordered Kantorovich monad〉 ダイクストラ・モナド…