reorg
Stack Monad worked out