A monoid which counts changing values in a sequence - View it on GitHub