let either e l r = match e with
 | Left x  -> l x
 | Right x -> r x