Refactor SimpT monad