I agree. Default is the bad kind of trivial: it gives you nothing, but in exchange takes away type inference and the ability to choose different defaults for varying circumstances. I wouldn't support adding it to base, and prefer to avoid packages that use it.