Text this: Quotients, inductive types, and quotient inductive types