* data types: * data Mat * functions: * matMul :: Mat -> Mat -> Mat