Comment _[mod_]
Generalize Product.first and swap-iso