The Hopf Fibration via Higher Inductive Types