Fixing broken implicit evidence derivation in some optimizeer clauses.