MonoidSumDouble constructor

MonoidSumDouble()