renamed Either and Tuple and added some instances