Use lambda-notation less in Constructor.v