I see, but in this case the multiplication is “b * b”, which has type “^c * ^c”.