はじめに

Data.MonoidDual 型が定義されています。

使い方は簡単。

いつか使う時もあるかもしれないので、適当な例を作ってみます。

Semigroup, Monoid law の確認

Semigroup Law

Monoid Law

headMaybe

lastMaybe

last

reverse

foldl

参考