monadic app runner
update commands to App monad
hlint + stylish