Fix 'Type inference' example

The original code wasn't valid syntacticly, and didn't type-check.