A simple confluence tool demonstrating the term-rewriting Haskell library.