quotient s is the quotient type representing the left cosets of s. If s is a normal subgroup, quotient s is a group