"In line 1 and 2, g is a thing (a function) with a type such that it takes a thing of type a and returns a thing of type Mb." . . . .