Fixed EnumerableMonoid to be a singleton.