MonoidSum constructor

MonoidSum()