Give asum
, msum
, and Product
instances explicit kind signatures
#611
+69
−10
asum
, msum
, and Product
instances explicit kind signatures
#611