add: Helper for translate Left to Exception and unpack Right value.
add: Identification inteface.