Monad Translations Compose

Abstract

Many people have observed that monad translations compose. We give this idea a try using the ML module system and see what mileage we can get out of it.