Add Reversible (Reactive a) instance