typedef MonoidImpl<A>

package thx

import thx.Monoid

Properties

zero:A

append:A ‑> A ‑> A