Revise handling of default constructor effects