mkFunTys'

isovector · isovector · commit cde1256f907c · 2021-05-21T22:48:29.000-07:00
diff --git a/plugins/hls-tactics-plugin/src/Wingman/Tactics.hs b/plugins/hls-tactics-plugin/src/Wingman/Tactics.hs
@@ -473,7 +473,7 @@ nary :: Int -> TacticsM ()
 nary n =
   applyByType $
     mkInvForAllTys [alphaTyVar, betaTyVar] $
-      mkFunTys (replicate n alphaTy) betaTy
+      mkFunTys' (replicate n alphaTy) betaTy
 
 
 self :: TacticsM ()
