--- /srv/rebuilderd/tmp/rebuilderdGKZwN8/inputs/libghc-numtype-dk-prof_0.5.0.3-4_ppc64el.deb
+++ /srv/rebuilderd/tmp/rebuilderdGKZwN8/out/libghc-numtype-dk-prof_0.5.0.3-4_ppc64el.deb
├── file list
│ @@ -1,3 +1,3 @@
│  -rw-r--r--   0        0        0        4 2026-01-04 15:08:30.000000 debian-binary
│  -rw-r--r--   0        0        0     1096 2026-01-04 15:08:30.000000 control.tar.xz
│ --rw-r--r--   0        0        0    29464 2026-01-04 15:08:30.000000 data.tar.xz
│ +-rw-r--r--   0        0        0    29280 2026-01-04 15:08:30.000000 data.tar.xz
├── control.tar.xz
│ ├── control.tar
│ │ ├── ./md5sums
│ │ │ ├── ./md5sums
│ │ │ │┄ Files differ
├── data.tar.xz
│ ├── data.tar
│ │ ├── ./usr/lib/haskell-packages/ghc/lib/ppc64le-linux-ghc-9.10.3-82cf/numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk/libHSnumtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk_p.a
│ │ │ ├── Integers.p_o
│ │ │ │ ├── strings --all --bytes=8 {}
│ │ │ │ │ @@ -59,15 +59,15 @@
│ │ │ │ │  Numeric.NumType.DK.Integers
│ │ │ │ │  <entire-module>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │  'Pos10Plus
│ │ │ │ │  'Neg10Minus
│ │ │ │ │  Numeric.NumType.DK.Integers
│ │ │ │ │  numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk
│ │ │ │ │ -<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.toNum_rzL>
│ │ │ │ │ +<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.toNum_rif>
│ │ │ │ │  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.sat_s1RI>
│ │ │ │ │  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg9_$ctoNum_r1Qn>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg9_r1kc>
│ │ │ │ │  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.sat_s1RL>
│ │ │ │ │  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg8_$ctoNum_r1Ql>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │ @@ -127,75 +127,75 @@
│ │ │ │ │  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.$fKnownTypeIntPos8_$ctoNum_r1Qy>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.$fKnownTypeIntPos8_r1iy>
│ │ │ │ │  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.$fKnownTypeIntPos9_$ctoNum_r1Qz>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.$fKnownTypeIntPos9_r1is>
│ │ │ │ │  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.pred1_r1RB>
│ │ │ │ │ -<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.pred_rAm>
│ │ │ │ │ +<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.pred_riU>
│ │ │ │ │  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.$fKnownTypeIntPos10Plus1_r1Qr>
│ │ │ │ │  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.sat_s1Sy>
│ │ │ │ │  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.sat_s1Sx>
│ │ │ │ │  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.lvl_s1Sw>
│ │ │ │ │  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.sat_s1SA>
│ │ │ │ │  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.$fKnownTypeIntPos10Plus_$ctoNum_r1Qq>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.$fKnownTypeIntPos10Plus_r1il>
│ │ │ │ │  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.succ1_r1RD>
│ │ │ │ │ -<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.succ_rAn>
│ │ │ │ │ +<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.succ_riV>
│ │ │ │ │  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg10Minus1_r1Q8>
│ │ │ │ │  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.sat_s1SI>
│ │ │ │ │  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.sat_s1SH>
│ │ │ │ │  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.lvl_s1SG>
│ │ │ │ │  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.sat_s1SK>
│ │ │ │ │  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg10Minus_$ctoNum_r1Q7>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg10Minus_r1kq>
│ │ │ │ │  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.negate1_r1RA>
│ │ │ │ │ -<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.negate_rAo>
│ │ │ │ │ +<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.negate_riW>
│ │ │ │ │  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.abs1_r1Rz>
│ │ │ │ │ -<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.abs_rAp>
│ │ │ │ │ +<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.abs_riX>
│ │ │ │ │  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.signum1_r1RC>
│ │ │ │ │ -<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.signum_rAq>
│ │ │ │ │ +<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.signum_riY>
│ │ │ │ │  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.+1_r1Ru>
│ │ │ │ │  ->>Proxy
│ │ │ │ │ -<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.+_rAr>
│ │ │ │ │ +<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.+_riZ>
│ │ │ │ │  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.-2_r1Rw>
│ │ │ │ │  ->>Proxy
│ │ │ │ │  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.-1_r1Rv>
│ │ │ │ │  ->>Proxy
│ │ │ │ │ -<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.-_rAs>
│ │ │ │ │ +<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.-_rj0>
│ │ │ │ │  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.*1_r1Rt>
│ │ │ │ │  ->>Proxy
│ │ │ │ │ -<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.*_rAt>
│ │ │ │ │ +<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.*_rj1>
│ │ │ │ │  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers./1_r1Rx>
│ │ │ │ │  ->>Proxy
│ │ │ │ │ -<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers./_rAu>
│ │ │ │ │ +<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers./_rj2>
│ │ │ │ │  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.^1_r1Ry>
│ │ │ │ │  ->>Proxy
│ │ │ │ │ -<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.^_rAv>
│ │ │ │ │ -<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.neg9_rAw>
│ │ │ │ │ -<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.neg8_rAx>
│ │ │ │ │ -<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.neg7_rAy>
│ │ │ │ │ -<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.neg6_rAz>
│ │ │ │ │ -<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.neg5_rAA>
│ │ │ │ │ -<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.neg4_rAB>
│ │ │ │ │ -<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.neg3_rAC>
│ │ │ │ │ -<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.neg2_rAD>
│ │ │ │ │ -<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.neg1_rAE>
│ │ │ │ │ -<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.zero_rAF>
│ │ │ │ │ -<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.pos1_rAG>
│ │ │ │ │ -<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.pos2_rAH>
│ │ │ │ │ -<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.pos3_rAI>
│ │ │ │ │ -<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.pos4_rAJ>
│ │ │ │ │ -<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.pos5_rAK>
│ │ │ │ │ -<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.pos6_rAL>
│ │ │ │ │ -<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.pos7_rAM>
│ │ │ │ │ -<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.pos8_rAN>
│ │ │ │ │ -<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.pos9_rAO>
│ │ │ │ │ +<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.^_rj3>
│ │ │ │ │ +<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.neg9_rj4>
│ │ │ │ │ +<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.neg8_rj5>
│ │ │ │ │ +<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.neg7_rj6>
│ │ │ │ │ +<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.neg6_rj7>
│ │ │ │ │ +<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.neg5_rj8>
│ │ │ │ │ +<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.neg4_rj9>
│ │ │ │ │ +<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.neg3_rja>
│ │ │ │ │ +<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.neg2_rjb>
│ │ │ │ │ +<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.neg1_rjc>
│ │ │ │ │ +<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.zero_rjd>
│ │ │ │ │ +<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.pos1_rje>
│ │ │ │ │ +<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.pos2_rjf>
│ │ │ │ │ +<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.pos3_rjg>
│ │ │ │ │ +<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.pos4_rjh>
│ │ │ │ │ +<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.pos5_rji>
│ │ │ │ │ +<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.pos6_rjj>
│ │ │ │ │ +<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.pos7_rjk>
│ │ │ │ │ +<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.pos8_rjl>
│ │ │ │ │ +<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.pos9_rjm>
│ │ │ │ │  ->TypeInt
│ │ │ │ │  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.Neg10Minus_r10w>
│ │ │ │ │  ->TypeInt
│ │ │ │ │  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.Pos10Plus_r129>
│ │ │ │ │  Neg10Minus
│ │ │ │ │  numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.Neg10Minus
│ │ │ │ │  numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.Neg9
│ │ │ │ ├── readelf --wide --decompress --string-dump=.rodata.str {}
│ │ │ │ │ @@ -112,15 +112,15 @@
│ │ │ │ │    [   a48]  'Neg7
│ │ │ │ │    [   a50]  'Neg8
│ │ │ │ │    [   a58]  'Neg9
│ │ │ │ │    [   a60]  TypeInt
│ │ │ │ │    [   a68]  Numeric.NumType.DK.Integers
│ │ │ │ │    [   a88]  numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk
│ │ │ │ │    [   ab8]  ->*
│ │ │ │ │ -  [   ac0]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.toNum_rzL>
│ │ │ │ │ +  [   ac0]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.toNum_rif>
│ │ │ │ │    [   b18]  *
│ │ │ │ │    [   b20]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.sat_s1RI>
│ │ │ │ │    [   b78]  ->*
│ │ │ │ │    [   b80]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg9_$ctoNum_r1Qn>
│ │ │ │ │    [   be8]  KnownTypeInt
│ │ │ │ │    [   bf8]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg9_r1kc>
│ │ │ │ │    [   c58]  *
│ │ │ │ │ @@ -210,15 +210,15 @@
│ │ │ │ │    [  1e38]  ->*
│ │ │ │ │    [  1e40]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.$fKnownTypeIntPos9_$ctoNum_r1Qz>
│ │ │ │ │    [  1ea8]  KnownTypeInt
│ │ │ │ │    [  1eb8]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.$fKnownTypeIntPos9_r1is>
│ │ │ │ │    [  1f18]  Proxy
│ │ │ │ │    [  1f20]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.pred1_r1RB>
│ │ │ │ │    [  1f78]  ->Proxy
│ │ │ │ │ -  [  1f80]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.pred_rAm>
│ │ │ │ │ +  [  1f80]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.pred_riU>
│ │ │ │ │    [  1fd8]  Proxy
│ │ │ │ │    [  1fe0]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.$fKnownTypeIntPos10Plus1_r1Qr>
│ │ │ │ │    [  2048]  *
│ │ │ │ │    [  2050]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.sat_s1Sy>
│ │ │ │ │    [  20a8]  *
│ │ │ │ │    [  20b0]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.sat_s1Sx>
│ │ │ │ │    [  2108]  *
│ │ │ │ │ @@ -228,15 +228,15 @@
│ │ │ │ │    [  21c8]  ->*
│ │ │ │ │    [  21d0]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.$fKnownTypeIntPos10Plus_$ctoNum_r1Qq>
│ │ │ │ │    [  2240]  KnownTypeInt
│ │ │ │ │    [  2250]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.$fKnownTypeIntPos10Plus_r1il>
│ │ │ │ │    [  22b8]  Proxy
│ │ │ │ │    [  22c0]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.succ1_r1RD>
│ │ │ │ │    [  2318]  ->Proxy
│ │ │ │ │ -  [  2320]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.succ_rAn>
│ │ │ │ │ +  [  2320]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.succ_riV>
│ │ │ │ │    [  2378]  Proxy
│ │ │ │ │    [  2380]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg10Minus1_r1Q8>
│ │ │ │ │    [  23e8]  *
│ │ │ │ │    [  23f0]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.sat_s1SI>
│ │ │ │ │    [  2448]  *
│ │ │ │ │    [  2450]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.sat_s1SH>
│ │ │ │ │    [  24a8]  *
│ │ │ │ │ @@ -246,83 +246,83 @@
│ │ │ │ │    [  2568]  ->*
│ │ │ │ │    [  2570]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg10Minus_$ctoNum_r1Q7>
│ │ │ │ │    [  25e0]  KnownTypeInt
│ │ │ │ │    [  25f0]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg10Minus_r1kq>
│ │ │ │ │    [  2658]  Proxy
│ │ │ │ │    [  2660]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.negate1_r1RA>
│ │ │ │ │    [  26b8]  ->Proxy
│ │ │ │ │ -  [  26c0]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.negate_rAo>
│ │ │ │ │ +  [  26c0]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.negate_riW>
│ │ │ │ │    [  2718]  Proxy
│ │ │ │ │    [  2720]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.abs1_r1Rz>
│ │ │ │ │    [  2778]  ->Proxy
│ │ │ │ │ -  [  2780]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.abs_rAp>
│ │ │ │ │ +  [  2780]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.abs_riX>
│ │ │ │ │    [  27d0]  Proxy
│ │ │ │ │    [  27d8]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.signum1_r1RC>
│ │ │ │ │    [  2830]  ->Proxy
│ │ │ │ │ -  [  2838]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.signum_rAq>
│ │ │ │ │ +  [  2838]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.signum_riY>
│ │ │ │ │    [  2890]  Proxy
│ │ │ │ │    [  2898]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.+1_r1Ru>
│ │ │ │ │    [  28e8]  ->>Proxy
│ │ │ │ │ -  [  28f8]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.+_rAr>
│ │ │ │ │ +  [  28f8]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.+_riZ>
│ │ │ │ │    [  2948]  Proxy
│ │ │ │ │    [  2950]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.-2_r1Rw>
│ │ │ │ │    [  29a0]  ->>Proxy
│ │ │ │ │    [  29b0]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.-1_r1Rv>
│ │ │ │ │    [  2a00]  ->>Proxy
│ │ │ │ │ -  [  2a10]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.-_rAs>
│ │ │ │ │ +  [  2a10]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.-_rj0>
│ │ │ │ │    [  2a60]  Proxy
│ │ │ │ │    [  2a68]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.*1_r1Rt>
│ │ │ │ │    [  2ab8]  ->>Proxy
│ │ │ │ │ -  [  2ac8]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.*_rAt>
│ │ │ │ │ +  [  2ac8]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.*_rj1>
│ │ │ │ │    [  2b18]  Proxy
│ │ │ │ │    [  2b20]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers./1_r1Rx>
│ │ │ │ │    [  2b70]  ->>Proxy
│ │ │ │ │ -  [  2b80]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers./_rAu>
│ │ │ │ │ +  [  2b80]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers./_rj2>
│ │ │ │ │    [  2bd0]  Proxy
│ │ │ │ │    [  2bd8]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.^1_r1Ry>
│ │ │ │ │    [  2c28]  ->>Proxy
│ │ │ │ │ -  [  2c38]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.^_rAv>
│ │ │ │ │ +  [  2c38]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.^_rj3>
│ │ │ │ │    [  2c88]  Proxy
│ │ │ │ │ -  [  2c90]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.neg9_rAw>
│ │ │ │ │ +  [  2c90]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.neg9_rj4>
│ │ │ │ │    [  2ce8]  Proxy
│ │ │ │ │ -  [  2cf0]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.neg8_rAx>
│ │ │ │ │ +  [  2cf0]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.neg8_rj5>
│ │ │ │ │    [  2d48]  Proxy
│ │ │ │ │ -  [  2d50]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.neg7_rAy>
│ │ │ │ │ +  [  2d50]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.neg7_rj6>
│ │ │ │ │    [  2da8]  Proxy
│ │ │ │ │ -  [  2db0]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.neg6_rAz>
│ │ │ │ │ +  [  2db0]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.neg6_rj7>
│ │ │ │ │    [  2e08]  Proxy
│ │ │ │ │ -  [  2e10]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.neg5_rAA>
│ │ │ │ │ +  [  2e10]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.neg5_rj8>
│ │ │ │ │    [  2e68]  Proxy
│ │ │ │ │ -  [  2e70]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.neg4_rAB>
│ │ │ │ │ +  [  2e70]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.neg4_rj9>
│ │ │ │ │    [  2ec8]  Proxy
│ │ │ │ │ -  [  2ed0]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.neg3_rAC>
│ │ │ │ │ +  [  2ed0]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.neg3_rja>
│ │ │ │ │    [  2f28]  Proxy
│ │ │ │ │ -  [  2f30]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.neg2_rAD>
│ │ │ │ │ +  [  2f30]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.neg2_rjb>
│ │ │ │ │    [  2f88]  Proxy
│ │ │ │ │ -  [  2f90]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.neg1_rAE>
│ │ │ │ │ +  [  2f90]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.neg1_rjc>
│ │ │ │ │    [  2fe8]  Proxy
│ │ │ │ │ -  [  2ff0]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.zero_rAF>
│ │ │ │ │ +  [  2ff0]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.zero_rjd>
│ │ │ │ │    [  3048]  Proxy
│ │ │ │ │ -  [  3050]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.pos1_rAG>
│ │ │ │ │ +  [  3050]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.pos1_rje>
│ │ │ │ │    [  30a8]  Proxy
│ │ │ │ │ -  [  30b0]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.pos2_rAH>
│ │ │ │ │ +  [  30b0]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.pos2_rjf>
│ │ │ │ │    [  3108]  Proxy
│ │ │ │ │ -  [  3110]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.pos3_rAI>
│ │ │ │ │ +  [  3110]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.pos3_rjg>
│ │ │ │ │    [  3168]  Proxy
│ │ │ │ │ -  [  3170]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.pos4_rAJ>
│ │ │ │ │ +  [  3170]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.pos4_rjh>
│ │ │ │ │    [  31c8]  Proxy
│ │ │ │ │ -  [  31d0]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.pos5_rAK>
│ │ │ │ │ +  [  31d0]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.pos5_rji>
│ │ │ │ │    [  3228]  Proxy
│ │ │ │ │ -  [  3230]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.pos6_rAL>
│ │ │ │ │ +  [  3230]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.pos6_rjj>
│ │ │ │ │    [  3288]  Proxy
│ │ │ │ │ -  [  3290]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.pos7_rAM>
│ │ │ │ │ +  [  3290]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.pos7_rjk>
│ │ │ │ │    [  32e8]  Proxy
│ │ │ │ │ -  [  32f0]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.pos8_rAN>
│ │ │ │ │ +  [  32f0]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.pos8_rjl>
│ │ │ │ │    [  3348]  Proxy
│ │ │ │ │ -  [  3350]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.pos9_rAO>
│ │ │ │ │ +  [  3350]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.pos9_rjm>
│ │ │ │ │    [  33a8]  ->TypeInt
│ │ │ │ │    [  33b8]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.Neg10Minus_r10w>
│ │ │ │ │    [  3410]  ->TypeInt
│ │ │ │ │    [  3420]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.Pos10Plus_r129>
│ │ │ │ │    [  3478]  TypeInt
│ │ │ │ │    [  3480]  Neg10Minus
│ │ │ │ │    [  3490]  numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Integers.Neg10Minus
│ │ │ ├── Naturals.p_o
│ │ │ │ ├── strings --all --bytes=8 {}
│ │ │ │ │ @@ -2,28 +2,28 @@
│ │ │ │ │  <entire-module>
│ │ │ │ │  KnownNat
│ │ │ │ │  ./Numeric/NumType/DK/Naturals.hs
│ │ │ │ │  Numeric.NumType.DK.Naturals
│ │ │ │ │  numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk
│ │ │ │ │  undefined
│ │ │ │ │  ->Integer
│ │ │ │ │ -<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Naturals.natVal_rh5>
│ │ │ │ │ +<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Naturals.natVal_ri8>
│ │ │ │ │  ->Integer
│ │ │ │ │ -<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Naturals.$fKnownNatZ_$cnatVal_r1uC>
│ │ │ │ │ +<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Naturals.$fKnownNatZ_$cnatVal_r1tp>
│ │ │ │ │  KnownNat
│ │ │ │ │ -<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Naturals.$fKnownNatZ_rLT>
│ │ │ │ │ -<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Naturals.$fKnownNatS1_r1uu>
│ │ │ │ │ -<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Naturals.lvl11_s1yx>
│ │ │ │ │ +<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Naturals.$fKnownNatZ_rLU>
│ │ │ │ │ +<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Naturals.$fKnownNatS1_r1tk>
│ │ │ │ │ +<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Naturals.lvl11_s1xt>
│ │ │ │ │  ->Integer
│ │ │ │ │ -<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Naturals.sat_s1yQ>
│ │ │ │ │ +<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Naturals.sat_s1xH>
│ │ │ │ │  ->Integer
│ │ │ │ │ -<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Naturals.$fKnownNatS_$cnatVal_r1un>
│ │ │ │ │ +<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Naturals.$fKnownNatS_$cnatVal_r1tc>
│ │ │ │ │  KnownNat
│ │ │ │ │ -<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Naturals.$fKnownNatS_rLJ>
│ │ │ │ │ -<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Naturals.S_rGN>
│ │ │ │ │ +<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Naturals.$fKnownNatS_rLN>
│ │ │ │ │ +<numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Naturals.S_rJb>
│ │ │ │ │  numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Naturals.Z
│ │ │ │ │  numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Naturals.S
│ │ │ │ │  numtypezmdkzm0zi5zi0zi3zm4ckifvTsQBsIPrmJbRZZHwk_NumericziNumTypeziDKziNaturals_natVal_info
│ │ │ │ │  numtypezmdkzm0zi5zi0zi3zm4ckifvTsQBsIPrmJbRZZHwk_NumericziNumTypeziDKziNaturals_CAFs_cc_ccs
│ │ │ │ │  numtypezmdkzm0zi5zi0zi3zm4ckifvTsQBsIPrmJbRZZHwk_NumericziNumTypeziDKziNaturals_zdfKnownNatS_entry
│ │ │ │ │  numtypezmdkzm0zi5zi0zi3zm4ckifvTsQBsIPrmJbRZZHwk_NumericziNumTypeziDKziNaturals_zdtczqS2_closure
│ │ │ │ │  ghczmprim_GHCziTypes_KindRepTyConApp_con_info
│ │ │ │ ├── readelf --wide --decompress --string-dump=.rodata.str {}
│ │ │ │ │ @@ -8,31 +8,31 @@
│ │ │ │ │    [    50]  'Z
│ │ │ │ │    [    58]  Nat
│ │ │ │ │    [    60]  ./Numeric/NumType/DK/Naturals.hs
│ │ │ │ │    [    88]  Numeric.NumType.DK.Naturals
│ │ │ │ │    [    a8]  numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk
│ │ │ │ │    [    d8]  undefined
│ │ │ │ │    [    e8]  ->Integer
│ │ │ │ │ -  [    f8]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Naturals.natVal_rh5>
│ │ │ │ │ +  [    f8]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Naturals.natVal_ri8>
│ │ │ │ │    [   150]  ->Integer
│ │ │ │ │ -  [   160]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Naturals.$fKnownNatZ_$cnatVal_r1uC>
│ │ │ │ │ +  [   160]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Naturals.$fKnownNatZ_$cnatVal_r1tp>
│ │ │ │ │    [   1c8]  KnownNat
│ │ │ │ │ -  [   1d8]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Naturals.$fKnownNatZ_rLT>
│ │ │ │ │ +  [   1d8]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Naturals.$fKnownNatZ_rLU>
│ │ │ │ │    [   230]  ->*
│ │ │ │ │ -  [   238]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Naturals.$fKnownNatS1_r1uu>
│ │ │ │ │ +  [   238]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Naturals.$fKnownNatS1_r1tk>
│ │ │ │ │    [   298]  Integer
│ │ │ │ │ -  [   2a0]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Naturals.lvl11_s1yx>
│ │ │ │ │ +  [   2a0]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Naturals.lvl11_s1xt>
│ │ │ │ │    [   2f8]  ->Integer
│ │ │ │ │ -  [   308]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Naturals.sat_s1yQ>
│ │ │ │ │ +  [   308]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Naturals.sat_s1xH>
│ │ │ │ │    [   360]  ->Integer
│ │ │ │ │ -  [   370]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Naturals.$fKnownNatS_$cnatVal_r1un>
│ │ │ │ │ +  [   370]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Naturals.$fKnownNatS_$cnatVal_r1tc>
│ │ │ │ │    [   3d8]  KnownNat
│ │ │ │ │ -  [   3e8]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Naturals.$fKnownNatS_rLJ>
│ │ │ │ │ +  [   3e8]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Naturals.$fKnownNatS_rLN>
│ │ │ │ │    [   440]  ->Nat
│ │ │ │ │ -  [   448]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Naturals.S_rGN>
│ │ │ │ │ +  [   448]  <numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Naturals.S_rJb>
│ │ │ │ │    [   498]  Nat
│ │ │ │ │    [   4a0]  Z
│ │ │ │ │    [   4a8]  numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Naturals.Z
│ │ │ │ │    [   4f0]  Nat
│ │ │ │ │    [   4f8]  S
│ │ │ │ │    [   500]  numtype-dk-0.5.0.3-4ckifvTsQBsIPrmJbRZHwk:Numeric.NumType.DK.Naturals.S