Aquí hay que entender M y C como tipos.