If you forget to write view for the Mul case, does the compiler issue an error? ...

		scscsc on Jan 17, 2015 \| parent \| context \| favorite \| on: From Object Algebras to Finally Tagless Interprete... If you forget to write view for the Mul case, does the compiler issue an error? (in other words, is it strongly typed?)