More work to try to get MonadTransControl working