MonoidAll constructor

MonoidAll()