Since every single ModuleT was ModuleT foo IO bar, I decided that
ModuleT should just have IO as part of its transformer stack.