readme
either monad