tests/Optics/Tests/Utils.hs:56:
        tests/Optics/Tests/Labels/TH.hs:61:20: label5lhs ==- label5rhs failed:            
            LHS:                                                                          
                label5lhs = label5lhs_szze `cast` <Co:31>                                 
                                                                                          
                label5lhs_szze                                                            
                  = \ @a @b s name_ age_ fishName_ pets_ ->                               
                      case unsafeEqualityProof of { UnsafeRefl co2 ->
                      case s of { Human x1_af3x x2_af3y x3_af3z x4_af3A ->
                      (Human
                         name_
                         age_
                         (case x3_af3z of {
                            GoldFish x1_aeS2 -> GoldFish fishName_;
                            Herring x1_aeS4 -> Herring fishName_
                          })
                         pets_)
                      `cast` <Co:4>
                      }
                      }
                
            RHS:
                label5rhs
                  = \ @a @b s name_ age_ fishName_ pets_ ->
                      case s of { Human ds_dpF7 ds_dpF8 ds_dpF9 ds_dpFa ->
                      Human
                        name_
                        age_
                        (case ds_dpF9 of {
                           GoldFish ds_dpEY -> GoldFish fishName_;
                           Herring ds_dpEZ -> Herring fishName_
                         })
                        pets_
                      }