No more polymorphic polynomials.