The default should be the same type.