derived trait