モノイド則

code:hs

mempty <> a = a = a <> mempty

左右どちらから作用させても結果は同じ

code:hs

a <> (b <> c) = (a <> b) <> c