I wish Dennis's suggestion for k was implemented (to be f mapping over the second list by default). It's quite rare that you can chain f as easily as that. Often you'll end up doing stuff like \f{\...} when wanting to map over one of two lists with f