Up
Parameter
Monoid
Signature
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