isSame :: TermEdit -> Bool
isSame e = case e of
  Replace _ Same -> True
  _              -> False
isSame :: TermEdit -> Bool
isSame e = case e of
  Replace _ Same -> True
  _              -> False
isSame e = case e of
  Replace _ Same -> True
  _              -> False