bad.simpl

-- RHS size: {terms: 93, types: 2,680, coercions: 957, joins: 2/3}
sum1PrismB
sum1PrismB
  = \ @ p_aPHP @ f_aPHQ $dChoice_aPHS $dApplicative_aPHT eta_azra ->
      let {
        lvl_sRJn
        lvl_sRJn = $p1Applicative $dApplicative_aPHT } in
      dimap
        ($p1Choice $dChoice_aPHS)
        (\ x_a25J ->
           join {
             $j_sRyq
             $j_sRyq x4_aguo
               = Left
                   (pure
                      $dApplicative_aPHT
                      (case x4_aguo of {
                         Left x6_ajJF ->
                           case x6_ajJF of {
                             Left x1_XjMH -> $fGenericSum1_$cto (x1_XjMH `cast` <Co:591>);
                             Right y_ajJI ->
                               case y_ajJI of {
                                 Left x1_XjMv ->
                                   case x1_XjMv of {
                                     L1 ds_dQnH -> A (ds_dQnH `cast` <Co:51>);
                                     R1 ds_dQnK -> B (ds_dQnK `cast` <Co:51>)
                                   };
                                 Right y1_XjMy ->
                                   B (case y1_XjMy of {
                                        Left x1_XjMA -> x1_XjMA `cast` <Co:51>;
                                        Right y2_XjMR -> y2_XjMR
                                      })
                               }
                           };
                         Right y_ajJI ->
                           B (case y_ajJI of {
                                Left x1_ajJF -> x1_ajJF `cast` <Co:51>;
                                Right y1_XjMR -> y1_XjMR
                              })
                       })) } in
           join {
             $j1_sRwO
             $j1_sRwO y_anJq = jump $j_sRyq (Left (Left (R1 y_anJq))) } in
           case x_a25J of {
             A g1_aPGD ->
               jump $j_sRyq (Left (Right (Left (L1 (g1_aPGD `cast` <Co:54>)))));
             B g1_aPGE -> Right g1_aPGE;
             C g1_aPGF -> jump $j1_sRwO (L1 (g1_aPGF `cast` <Co:54>));
             D g1_aPGG -> jump $j1_sRwO (R1 (g1_aPGG `cast` <Co:54>))
           })
        (\ ds1_ajJC ->
           case ds1_ajJC of {
             Left x_ajJF -> x_ajJF;
             Right y_ajJI -> fmap lvl_sRJn B y_ajJI
           })
        (right' $dChoice_aPHS eta_azra)

good.simpl

sum1PrismB
sum1PrismB
  = \ @ p_aPHP @ f_aPHQ $dChoice_aPHS $dApplicative_aPHT eta_azra ->
      let {
        lvl_sS6Z
        lvl_sS6Z = $p1Applicative $dApplicative_aPHT } in
      dimap
        ($p1Choice $dChoice_aPHS)
        (\ x_X2aD ->
           case x_X2aD of wild_X16 {
             __DEFAULT -> Left (pure $dApplicative_aPHT wild_X16);
             B g1_aPGE -> Right g1_aPGE
           })
        (\ ds1_ajJC ->
           case ds1_ajJC of {
             Left x_ajJF -> x_ajJF;
             Right y_ajJI -> fmap lvl_sS6Z B y_ajJI
           })
        (right' $dChoice_aPHS eta_azra)