Moving SPairs towards proper use of MonoMonoid.