diff --git a/crates/compiler/builtins/roc/Hash.roc b/crates/compiler/builtins/roc/Hash.roc
index 33ba560009..f99e605563 100644
--- a/crates/compiler/builtins/roc/Hash.roc
+++ b/crates/compiler/builtins/roc/Hash.roc
@@ -22,7 +22,7 @@ Hash has
     ## Hashes a value into a [Hasher].
     ## Note that [hash] does not produce a hash value itself; the hasher must be
     ## [complete]d in order to extract the hash value.
-    hash : a, hasher -> hasher | a has Hash, hasher has Hasher
+    hash : hasher, a -> hasher | a has Hash, hasher has Hasher
 
 ## Describes a hashing algorithm that is fed bytes and produces an integer hash.
 ##
diff --git a/crates/compiler/solve/tests/solve_expr.rs b/crates/compiler/solve/tests/solve_expr.rs
index 3bec72b967..2abc12d6cc 100644
--- a/crates/compiler/solve/tests/solve_expr.rs
+++ b/crates/compiler/solve/tests/solve_expr.rs
@@ -7833,9 +7833,9 @@ mod solve_expr {
 
                 Noop := {} has [Hash {hash}]
 
-                hash = \@Noop {}, hasher -> hasher
+                hash = \hasher, @Noop {} -> hasher
 
-                main = \hasher -> hash (@Noop {}) hasher
+                main = \hasher -> hash hasher (@Noop {})
                 "#
             ),
             "hasher -> hasher | hasher has Hasher",