l1 :: (Prod (a1 -> a3) (a2 -> a3)) -> (Either a1 a2) -> a3
l1 x x0 =
  case x of {
   Pair x1 x2 ->
    case x0 of {
     Left x3 -> x1 x3;
     Right x3 -> x2 x3}}

l2 :: ((Either a1 a2) -> a3) -> Prod (a1 -> a3) (a2 -> a3)
l2 x =
  let {x0 = \x0 -> x (Left x0)} in
  let {x1 = \x1 -> x (Right x1)} in Pair x0 x1