Monoid (Core.Std.Applicative.Const.1Monoid)

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

Parameter Monoid