. . "work for all types T for which there is a function that turns" . .