Documentation for Either and Option types