reified Periodicity to the kind level