よって、モナド&lt;t,η,μ&gt;を与えることはクライスリトリプル(t,η,_*)を与えることと同値である。