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
plus
zero