@@ -198,7 +198,7 @@ constrainApp env region f args tipe =
198198 do funcVar <- variable Flexible
199199 funcCon <- constrain env f (varN funcVar)
200200
201− (vars, numberOfArgsCons, argCons, argMatchCons, returnVar) <-
201+ (vars, argCons, numberOfArgsCons, argMatchCons, returnVar) <-
202202 argConstraints env maybeName region funcVar 1 args
203203
204204 let returnCon =
@@ -250,13 +250,13 @@ argConstraints env name region overallVar index args =
250250 (varN argIndexVar)
251251 (varN argVar)
252252
253− (vars, numberOfArgsRest, argConRest, argMatchRest, returnVar) <-
253+ (vars, argConRest, numberOfArgsRest, argMatchRest, returnVar) <-
254254 argConstraints env name region localReturnVar (index + 1) rest
255255
256256 return
257257 ( argVar : argIndexVar : localReturnVar : vars
258− , numberOfArgsCon : numberOfArgsRest
259258 , argCon : argConRest
259+ , numberOfArgsCon : numberOfArgsRest
260260 , argMatchCon : argMatchRest
261261 , returnVar
262262 )