Improve types of toFoldM and fromFoldM
Demonstrate the UMP for tuples in the Coq category