Greatest HITs: Higher Inductive Types in Coinductive Definitions via Induction Under Clocks