mergePat ist old (PPatvar fc n) t
  = mergePat ist old (PRef fc [] n) t
mergePat ist old (PPatvar fc n) t
  = mergePat ist old (PRef fc [] n) t
mergePat ist old (PPatvar fc n) t
  = mergePat ist old (PRef fc [] n) t