@hackage average0.5

An average (arithmetic mean) monoid.