@@ -195,8 +195,12 @@ diff localizer context leftType rightType =
195195 (docApp localizer context rightName (map (docType localizer App) rightArgs))
196196
197197 else
198− docApp localizer context leftName
199− <$> sequenceA (zipWith (go App) leftArgs rightArgs)
198+ let
199+ subContext =
200+ if Var.isTuple leftName then None else App
201+ in
202+ docApp localizer context leftName
203+ <$> sequenceA (zipWith (go subContext) leftArgs rightArgs)
200204
201205 (Type.App _ _, Type.App _ _) ->
202206 error "Type applications without concrete names should not get here."