fix: attach fixity to the new, AND olds, declaration

jamesmckinna · jamesmckinna · commit 50a4e7c63cd0 · 2025-04-11T14:10:57.000+01:00
diff --git a/src/Function/Base.agda b/src/Function/Base.agda
@@ -44,7 +44,7 @@ constᵣ _ = id
 infixr 9 _∘_ _∘₂_
 infixl 8 _ˢ_
 infixl 0 _|>_
-infix  0 case_returning_of_
+infix  0 case_returning_of_ case_return_of_
 infixr -1 _$_
 
 -- Composition
