Monoids in Public

It is a weird historical quirk that Haskell/PureScript call the symmetric operation (<>) :: m -> m -> m by the name of “append”. Most of the world reserves append and prepend for the asymmetric operations shaped like List t -> t -> List t and t -> List t -> t , respectively, and call (<>) by the name of “concatenation” (literally meaning “ chaining together ”). That is pretty clearly a better…