diff --git a/resugar.rkt b/resugar.rkt
index 9a07566..4efaf77 100644
--- a/resugar.rkt
+++ b/resugar.rkt
@@ -84,7 +84,7 @@
              `(replace (the ,(cdr resugared-t) ,(cdr resugared-tgt))
                        ,(cdr resugared-mot)
                        ,(cdr resugared-base))))]
-    [`(cong ,t ,tgt ,fun)
+    [`(cong ,tgt ,t ,fun)
      (let ((resugared-tgt (resugar* tgt))
            (resugared-fun (resugar* fun)))
        (cons (append (car resugared-tgt) (car resugared-fun))