cycle package:Agda

cycle xs returns the infinite repetition of xs:
cycle (1 :| [2,3]) = 1 :| [2,3,1,2,3,...]
Assumes that the first module in the import path is the module we are worried about.