Provides an average monoid