Fixed sugarization of the inferred type