Rec.dump-simpl

-- RHS size: {terms: 176, types: 4,182, coercions: 248, joins: 0/0}
$wsumRec :: Rec ElField Fields -> Int#
$wsumRec
  = \ (w :: Rec ElField Fields) ->
      case w of { :& @ r1 @ rs1 co1 x1 xs ->
      case x1 `cast` <Co:4> of { Field @ s @ t co $dKnownSymbol ds ->
      case ds `cast` <Co:4> of { I# x ->
      case xs `cast` <Co:8> of { :& @ r2 @ rs2 co2 x2 xs1 ->
      case x2 `cast` <Co:4> of
      { Field @ s1 @ t1 co3 $dKnownSymbol1 ds1 ->
      case ds1 `cast` <Co:4> of { I# y ->
      case xs1 `cast` <Co:8> of { :& @ r3 @ rs3 co4 x3 xs2 ->
      case x3 `cast` <Co:4> of
      { Field @ s2 @ t2 co5 $dKnownSymbol2 ds2 ->
      case ds2 `cast` <Co:4> of { I# y1 ->
      case xs2 `cast` <Co:8> of { :& @ r4 @ rs4 co6 x4 xs3 ->
      case x4 `cast` <Co:4> of
      { Field @ s3 @ t3 co7 $dKnownSymbol3 ds3 ->
      case ds3 `cast` <Co:4> of { I# y2 ->
      case xs3 `cast` <Co:8> of { :& @ r5 @ rs5 co8 x5 xs4 ->
      case x5 `cast` <Co:4> of
      { Field @ s4 @ t4 co9 $dKnownSymbol4 ds4 ->
      case ds4 `cast` <Co:4> of { I# y3 ->
      case xs4 `cast` <Co:8> of { :& @ r6 @ rs6 co10 x6 xs5 ->
      case x6 `cast` <Co:4> of
      { Field @ s5 @ t5 co11 $dKnownSymbol5 ds5 ->
      case ds5 `cast` <Co:4> of { I# y4 ->
      case xs5 `cast` <Co:8> of { :& @ r7 @ rs7 co12 x7 xs6 ->
      case x7 `cast` <Co:4> of
      { Field @ s6 @ t6 co13 $dKnownSymbol6 ds6 ->
      case ds6 `cast` <Co:4> of { I# y5 ->
      case xs6 `cast` <Co:8> of { :& @ r8 @ rs8 co14 x8 xs7 ->
      case x8 `cast` <Co:4> of
      { Field @ s7 @ t7 co15 $dKnownSymbol7 ds7 ->
      case ds7 `cast` <Co:4> of { I# y6 ->
      case xs7 `cast` <Co:8> of { :& @ r9 @ rs9 co16 x9 xs8 ->
      case x9 `cast` <Co:4> of
      { Field @ s8 @ t8 co17 $dKnownSymbol8 ds8 ->
      case ds8 `cast` <Co:4> of { I# y7 ->
      case xs8 `cast` <Co:8> of { :& @ r10 @ rs10 co18 x10 xs9 ->
      case x10 `cast` <Co:4> of
      { Field @ s9 @ t9 co19 $dKnownSymbol9 ds9 ->
      case ds9 `cast` <Co:4> of { I# y8 ->
      case xs9 `cast` <Co:8> of { :& @ r11 @ rs11 co20 x11 xs10 ->
      case x11 `cast` <Co:4> of
      { Field @ s10 @ t10 co21 $dKnownSymbol10 ds10 ->
      case ds10 `cast` <Co:4> of { I# y9 ->
      case xs10 `cast` <Co:8> of { :& @ r12 @ rs12 co22 x12 xs11 ->
      case x12 `cast` <Co:4> of
      { Field @ s11 @ t11 co23 $dKnownSymbol11 ds11 ->
      case ds11 `cast` <Co:4> of { I# y10 ->
      case xs11 `cast` <Co:8> of { :& @ r13 @ rs13 co24 x13 xs12 ->
      case x13 `cast` <Co:4> of
      { Field @ s12 @ t12 co25 $dKnownSymbol12 ds12 ->
      case ds12 `cast` <Co:4> of { I# y11 ->
      case xs12 `cast` <Co:8> of { :& @ r14 @ rs14 co26 x14 xs13 ->
      case x14 `cast` <Co:4> of
      { Field @ s13 @ t13 co27 $dKnownSymbol13 ds13 ->
      case ds13 `cast` <Co:4> of { I# y12 ->
      case xs13 `cast` <Co:8> of { :& @ r15 @ rs15 co28 x15 xs14 ->
      case x15 `cast` <Co:4> of
      { Field @ s14 @ t14 co29 $dKnownSymbol14 ds14 ->
      case ds14 `cast` <Co:4> of { I# y13 ->
      case xs14 `cast` <Co:8> of { :& @ r16 @ rs16 co30 x16 xs15 ->
      case x16 `cast` <Co:4> of
      { Field @ s15 @ t15 co31 $dKnownSymbol15 ds15 ->
      case ds15 `cast` <Co:4> of { I# y14 ->
      +#
        (+#
           (+#
              (+#
                 (+#
                    (+#
                       (+#
                          (+# (+# (+# (+# (+# (+# (+# (+# x y) y1) y2) y3) y4) y5) y6) y7)
                          y8)
                       y9)
                    y10)
                 y11)
              y12)
           y13)
        y14
      }
      }
      }
      }
      }
      }
      }
      }
      }
      }
      }
      }
      }
      }
      }
      }
      }
      }
      }
      }
      }
      }
      }
      }
      }
      }
      }
      }
      }
      }
      }
      }
      }
      }
      }
      }
      }
      }
      }
      }
      }
      }
      }
      }
      }
      }
      }
      }