mergePat ist (PRef fc _ n) tm ty = do tm <- tidy ist tm ty
                                      addUpdate n tm
                                      return tm
mergePat ist (PRef fc _ n) tm ty = do tm <- tidy ist tm ty
                                      addUpdate n tm
                                      return tm
mergePat ist (PRef fc _ n) tm ty = do tm <- tidy ist tm ty
                                      addUpdate n tm
                                      return tm