Data.Monoid.HT
cycle
(<>)