Yeah, this goes full FP with fp-ts (although it's TypeScript). The only thing I hate about it is brackets everywhere.

    pipe(
      xs,
      reverse,
      A.map(addOne),
    )