Conversion of a matching lambda into an instance of an interface whose contract has one abstract method.