Add more MonoidK based folds
#4432
+15
−3
Open
MonoidK based folds
#4432