defaults are made type-dependent (again)