Feature/mode management

monad transformer might look better now