MonoidProductDouble constructor

MonoidProductDouble()