「絵算で見る、拡張スタイルのモナドとモノイド・スタイルのモナド」にて： 拡張スタイルは ...[snip]... モナド法則の証明がモノイド・スタイルより容易になる場合があります。 このことの実例として、ジリィモナドを拡張スタイルで記述してみましょう。モ…