Parametricity versus the universal type