⁷Fraction requires that its argument belong to the category IntegralDomain and Complex requires that its argument belong to CommutativeRing. See Section 2.1 on page 129 for a brief discussion of categories.