The tensor product in Wadler's analysis of lists
scientific article; zbMATH DE number 609576