Report question

Question: Type-safe matrix multiplication