implemented some instances for quotient rings
inlining