Parameter Base.Applicative.Const.1-Monoid

type t
val zero : t
val plus : t ‑> t ‑> t

Laws: plus is associative and zero is both a left and right unit for plus