Redirecting to Partially-defined operator