. "insurance, other than coverage provided by the workers'" . . .