Fixed up some of parametricity
Publishing parametricity