From Parametricity to Conservation Laws, via Noether's Theorem.