diff --git a/src/Elaboration/Depth.hs b/src/Elaboration/Depth.hs
index 6aad9b3..473e53b 100644
--- a/src/Elaboration/Depth.hs
+++ b/src/Elaboration/Depth.hs
@@ -22,7 +22,7 @@ compareHeadDepths head1 head2 =
         (Just _, Nothing) -> GT
         (Nothing, Just _) -> LT
         _ -> EQ
-    (_, Domain.Global _) -> pure LT
-    (Domain.Global _, _) -> pure GT
+    (_, Domain.Global _) -> pure GT
+    (Domain.Global _, _) -> pure LT
     (Domain.Var v1, Domain.Var v2) -> pure $ compare v1 v2
     _ -> pure EQ