ex4.6 - map implement for Either data type