. . . "In our case, a morphism is a function that maps values of one type into values of another type." . .