Dynamically types languages have the advantage of concrete values, so static languages *must* have helpful errors: