I'm always in favor of removing duplicate information stored on a type when there isn't a performance or caching related reason to do so, which it doesn't look like is the case here