Text this: Natural Transformations as Rewrite Rules and Monad Composition