Reversible Choreographies via Monitoring in Erlang