We make a surprising connection between a term-rewriting system in the literature and algebraic effects, and begin the quest of porting knowledge between the two. The HORPO scheme for showing termination of rewrite systems may have be applied to algebraic-effect systems, and we can extend HORPO to cover rewrites involving the ``let'' construct common in many programming languages.