Neat. This looks a lot like GHC’s rewrite rules (used to define loop fusion optimizations, among other things) except that Haskell doesn’t have to worry about s

Neat. This looks a lot like GHC’s rewrite rules (used to define loop fusion optimizations, among other things) except that Haskell doesn’t have to worry about side effects quite as much and the whole system is simpler as a result.