Pre-RFC: Take trait with impl for Default

A similar proposal previously: