モノイド準同型
すみません、モノイド準同型って(M, ×, eM), (N, *, eN)との間に、任意のx, y \in Mについてf(x × y) = f(x) * f(y)、あとはf(eM) = eN でいいんですよね（二項演算の記号が省略されがちなので悩んでいる）
https://twitter.com/windymelt/status/1663958026590777344
&&モノイドの単位元がTrueであることと配列の結合演算のやつ
数学的に綺麗になるから、という理由付けも理学的で好きだが
配列を結合してから
all
を取るコードと各配列で順番に
all
を取って&&していくコードの結果が同じであってほしいという自然な直観を満たすという嬉しみがあるから、と説明するほうがより実用的な納得感はあるよな