And on case of inference, It also makes the grammar simpler if the thing that is...

		paulddraper on March 16, 2019 \| parent \| context \| favorite \| on: Types Are Moving to the Right And on case of inference, It also makes the grammar simpler if the thing that is optional follows the thing that is required.