@hackage average0.6

An average (arithmetic mean) monoid.