Even though it makes print debugging harder, I think it would be better if the language enforced such a contract.