generated at
2/16/2025, 7:07:09 AM
モノイド則
from
Monoid型クラス
両側単位元
hs
mempty <> a = a = a <> mempty
結合律
左右どちらから作用させても結果は同じ
hs
a <> (b <> c) = (a <> b) <> c