If I can play the devil's advocate here, by univalence the type *is* the set quotient because it is equal to it.