We do that, and then people complain the type checker is too hard to satisfy, an...

		adastra22 53 days ago \| parent \| context \| favorite \| on: Was it a billion dollar mistake? We do that, and then people complain the type checker is too hard to satisfy, and go back to dynamic languages.