2 ms·I see, but in this case the multiplication is “b * b”, which has type “^c * ^c”.by occamrazor 4y agoI see, but in this case the multiplication is “b * b”, which has type “^c * ^c”.