agda-parametricity (npm): Deriving parametricity results in Agda: "theorems for free"
Keywords: agda|parametricity|deriving|theorems-for-free