Eta-reduced an instance of Insert.