This problem came up when I was trying to zip through lists of different length and I didn’t want them to be cut by the shortest one. It was in a context where the list had integers that I wanted to add or multiply. My problem is how to set up the type variables so that it can be more general.