remove unnecessary Let in Quotient module