Inspection testing says they differ, I don't see difference

[phadej]

I'm looking at this output, and honestly, I don't see any difference. The code in question is in https://github.com/phadej/vec/pull/28

    LHS:
        $wlhsTraverse
        $wlhsTraverse
          = \ @ f
              @ a
              @ b
              ww_srNg
              ww_srNh
              w_srNb
              ww_srNo
              ww_srNp
              ww_srNq
              ww_srNr
              ww_srNs ->
              ww_srNh
                (ww_srNh
                   (ww_srNh
                      (ww_srNh
                         (ww_srNh (ww_srNg Values) (w_srNb ww_srNo)) (w_srNb ww_srNp))
                      (w_srNb ww_srNq))
                   (w_srNb ww_srNr))
                (w_srNb ww_srNs)

        lhsTraverse
        lhsTraverse
          = \ @ f @ a @ b w_srNa w_srNb w_srNc ->
              case w_srNa of
              { C:Applicative ww_srNf ww_srNg ww_srNh ww_srNi ww_srNj ww_srNk ->
              case w_srNc of { Values ww_srNo ww_srNp ww_srNq ww_srNr ww_srNs ->
              $wlhsTraverse
                ww_srNg ww_srNh w_srNb ww_srNo ww_srNp ww_srNq ww_srNr ww_srNs
              }
              }

    RHS:
        $wrhsTraverse
        $wrhsTraverse
          = \ @ f
              @ a
              @ b
              ww_srMt
              ww_srMv
              w_srMp
              ww_srMC
              ww_srMD
              ww_srME
              ww_srMF
              ww_srMG ->
              ww_srMv
                (ww_srMv
                   (ww_srMv
                      (ww_srMv (fmap ww_srMt Values (w_srMp ww_srMC)) (w_srMp ww_srMD))
                      (w_srMp ww_srME))
                   (w_srMp ww_srMF))
                (w_srMp ww_srMG)

        rhsTraverse
        rhsTraverse
          = \ @ f @ a @ b w_srMo w_srMp w_srMq ->
              case w_srMo of
              { C:Applicative ww_srMt ww_srMu ww_srMv ww_srMw ww_srMx ww_srMy ->
              case w_srMq of { Values ww_srMC ww_srMD ww_srME ww_srMF ww_srMG ->
              $wrhsTraverse
                ww_srMt ww_srMv w_srMp ww_srMC ww_srMD ww_srME ww_srMF ww_srMG
              }
              }

[phadej]

ah, now I see. there's fmap in RHS