Constructing Higher Inductive Types as Groupoid Quotients