If you forget to write view for the Mul case, does the compiler issue an error? (in other words, is it strongly typed?)