. . . . "Here, k is a function that produces containers." .