Add app and reader monad