+================================================================================
+Renamer:
+module Test where
+PrelNum.$d35{-ryc,p-} ::
+ {PrelBase.Eq{-23,p-} PrelBase.Integer{-3h,p-}}
+PrelNum.$d33{-rya,p-} ::
+ {PrelBase.Num{-2c,p-} PrelBase.Integer{-3h,p-}}
+PrelNum.$d29{-ry5,p-} ::
+ {PrelBase.Show{-2i,p-} PrelBase.Integer{-3h,p-}}
+PrelNum.$d18{-rxT,p-} ::
+ {PrelBase.Eq{-23,p-} PrelBase.Double{-3a,p-}}
+PrelNum.$d16{-rxR,p-} ::
+ {PrelBase.Num{-2c,p-} PrelBase.Double{-3a,p-}}
+PrelNum.$d10{-rxL,p-} ::
+ {PrelBase.Show{-2i,p-} PrelBase.Double{-3a,p-}}
+PrelBase.$d8{-rc9,p-} ::
+ {PrelBase.Show{-2i,p-} PrelBase.Char{-38,p-}}
+PrelBase.$d7{-rc8,p-} ::
+ {PrelBase.Eq{-23,p-} PrelBase.Int{-3g,p-}}
+PrelBase.$d54{-rc3,p-} ::
+ {PrelBase.Show{-2i,p-} PrelBase.Bool{-34,p-}}
+PrelBase.$d46{-rbU,p-} ::
+ {PrelBase.Eval{-24,p-} PrelBase.(){-40,p-}}
+PrelBase.$d44{-rbS,p-} ::
+ _forall_ [a_rH3] => {PrelBase.Eval{-24,p-} [a_rH3]}
+PrelBase.$d42{-rbQ,p-} ::
+ {PrelBase.Eval{-24,p-} PrelBase.Integer{-3h,p-}}
+PrelBase.$d41{-rbP,p-} ::
+ {PrelBase.Eval{-24,p-} PrelBase.Int{-3g,p-}}
+PrelBase.$d39{-rbM,p-} ::
+ {PrelBase.Eval{-24,p-} PrelBase.Double{-3a,p-}}
+PrelBase.$d38{-rbL,p-} ::
+ {PrelBase.Eval{-24,p-} PrelBase.Char{-38,p-}}
+PrelBase.$d37{-rbK,p-} ::
+ {PrelBase.Eval{-24,p-} PrelBase.Bool{-34,p-}}
+PrelBase.$d33{-rbG,p-} ::
+ {PrelBase.Eq{-23,p-} PrelBase.Char{-38,p-}}
+PrelBase.$d32{-rbF,p-} ::
+ {PrelBase.Eq{-23,p-} PrelBase.Bool{-34,p-}}
+PrelBase.$d3{-rbC,p-} ::
+ {PrelBase.Num{-2c,p-} PrelBase.Int{-3g,p-}}
+PrelBase.$d27{-rbz,p-} ::
+ _forall_
+ [a_rH1]
+ {PrelBase.Eq{-23,p-} a_rH1}
+ =>
+ {PrelBase.Eq{-23,p-} [a_rH1]}
+PrelBase.$d21{-rbt,p-} ::
+ _forall_
+ [a_rGZ]
+ {PrelBase.Show{-2i,p-} a_rGZ}
+ =>
+ {PrelBase.Show{-2i,p-} [a_rGZ]}
+PrelBase.$d2{-rbr,p-} ::
+ {PrelBase.Show{-2i,p-} PrelBase.Int{-3g,p-}}
+PrelBase.$d15{-rbm,p-} ::
+ {PrelBase.Eq{-23,p-} PrelBase.(){-40,p-}}
+PrelBase.$d11{-rbi,p-} ::
+ {PrelBase.Show{-2i,p-} PrelBase.(){-40,p-}}
+PrelBase.$d1{-rbg,p-} ::
+ _forall_ [a_rGW b_rGX] => {PrelBase.Show{-2i,p-} (a_rGW -> b_rGX)}
+instance {PrelBase.Eq{-23,p-} PrelBase.Integer{-3h,p-}}
+instance {PrelBase.Num{-2c,p-} PrelBase.Integer{-3h,p-}}
+instance {PrelBase.Show{-2i,p-} PrelBase.Integer{-3h,p-}}
+instance {PrelBase.Eq{-23,p-} PrelBase.Double{-3a,p-}}
+instance {PrelBase.Num{-2c,p-} PrelBase.Double{-3a,p-}}
+instance {PrelBase.Show{-2i,p-} PrelBase.Double{-3a,p-}}
+instance {PrelBase.Show{-2i,p-} PrelBase.Char{-38,p-}}
+instance {PrelBase.Eq{-23,p-} PrelBase.Int{-3g,p-}}
+instance {PrelBase.Show{-2i,p-} PrelBase.Bool{-34,p-}}
+instance {PrelBase.Eval{-24,p-} PrelBase.(){-40,p-}}
+instance _forall_ [a_rvk] => {PrelBase.Eval{-24,p-} [a_rvk]}
+instance {PrelBase.Eval{-24,p-} PrelBase.Integer{-3h,p-}}
+instance {PrelBase.Eval{-24,p-} PrelBase.Int{-3g,p-}}
+instance {PrelBase.Eval{-24,p-} PrelBase.Double{-3a,p-}}
+instance {PrelBase.Eval{-24,p-} PrelBase.Char{-38,p-}}
+instance {PrelBase.Eval{-24,p-} PrelBase.Bool{-34,p-}}
+instance {PrelBase.Eq{-23,p-} PrelBase.Char{-38,p-}}
+instance {PrelBase.Eq{-23,p-} PrelBase.Bool{-34,p-}}
+instance {PrelBase.Num{-2c,p-} PrelBase.Int{-3g,p-}}
+instance _forall_
+ [a_rvm]
+ {PrelBase.Eq{-23,p-} a_rvm}
+ =>
+ {PrelBase.Eq{-23,p-} [a_rvm]}
+instance _forall_
+ [a_rvo]
+ {PrelBase.Show{-2i,p-} a_rvo}
+ =>
+ {PrelBase.Show{-2i,p-} [a_rvo]}
+instance {PrelBase.Show{-2i,p-} PrelBase.Int{-3g,p-}}
+instance {PrelBase.Eq{-23,p-} PrelBase.(){-40,p-}}
+instance {PrelBase.Show{-2i,p-} PrelBase.(){-40,p-}}
+instance _forall_
+ [a_rvq b_rvr]
+ =>
+ {PrelBase.Show{-2i,p-} (a_rvq -> b_rvr)}
+PrelBase.$m=={-rci,p-} ::
+ _forall_
+ [a_rjb]
+ {PrelBase.Eq{-23,p-} a_rjb}
+ =>
+ a_rjb -> a_rjb -> PrelBase.Bool{-34,p-}
+PrelBase.$m/={-rcf,p-} ::
+ _forall_
+ [a_rj9]
+ {PrelBase.Eq{-23,p-} a_rj9}
+ =>
+ a_rj9 -> a_rj9 -> PrelBase.Bool{-34,p-}
+class PrelBase.Eq{-23,p-} rlg_rj7 where {
+ == ::
+ rlg_rj7 -> rlg_rj7 -> PrelBase.Bool{-34,p-};
+ /= ::
+ rlg_rj7 -> rlg_rj7 -> PrelBase.Bool{-34,p-};
+ }
+PrelBase.$mshowsPrec{-rcE,p-} ::
+ _forall_
+ [a_rj5]
+ {PrelBase.Show{-2i,p-} a_rj5}
+ =>
+ PrelBase.Int{-3g,p-}
+ -> a_rj5 -> PrelBase.String{-rdn,p-} -> PrelBase.String{-rdn,p-}
+type PrelBase.String{-rdn,p-} =
+ [PrelBase.Char{-38,p-}]
+PrelBase.$mshowList{-rcD,p-} ::
+ _forall_
+ [a_rj2]
+ {PrelBase.Show{-2i,p-} a_rj2}
+ =>
+ [a_rj2] -> PrelBase.String{-rdn,p-} -> PrelBase.String{-rdn,p-}
+class PrelBase.Show{-2i,p-} riq_rj0 where {
+ showsPrec ::
+ PrelBase.Int{-3g,p-}
+ -> riq_rj0 -> PrelBase.String{-rdn,p-} -> PrelBase.String{-rdn,p-};
+ showList ::
+ [riq_rj0] -> PrelBase.String{-rdn,p-} -> PrelBase.String{-rdn,p-};
+ }
+class PrelBase.Eval{-24,p-} rk6_riY
+PrelBase.$m+{-rcc,p-} ::
+ _forall_
+ [a_riW]
+ {PrelBase.Num{-2c,p-} a_riW}
+ =>
+ a_riW -> a_riW -> a_riW
+PrelBase.$m-{-rce,p-} ::
+ _forall_
+ [a_riU]
+ {PrelBase.Num{-2c,p-} a_riU}
+ =>
+ a_riU -> a_riU -> a_riU
+PrelBase.$m*{-rcb,p-} ::
+ _forall_
+ [a_riS]
+ {PrelBase.Num{-2c,p-} a_riS}
+ =>
+ a_riS -> a_riS -> a_riS
+PrelBase.$mnegate{-rcB,p-} ::
+ _forall_ [a_riQ] {PrelBase.Num{-2c,p-} a_riQ} => a_riQ -> a_riQ
+PrelBase.$mabs{-rcn,p-} ::
+ _forall_ [a_riO] {PrelBase.Num{-2c,p-} a_riO} => a_riO -> a_riO
+PrelBase.$msignum{-rcF,p-} ::
+ _forall_ [a_riM] {PrelBase.Num{-2c,p-} a_riM} => a_riM -> a_riM
+PrelBase.$mfromInteger{-rcv,p-} ::
+ _forall_
+ [a_riK]
+ {PrelBase.Num{-2c,p-} a_riK}
+ =>
+ PrelBase.Integer{-3h,p-} -> a_riK
+PrelBase.$mfromInt{-rcu,p-} ::
+ _forall_
+ [a_riI]
+ {PrelBase.Num{-2c,p-} a_riI}
+ =>
+ PrelBase.Int{-3g,p-} -> a_riI
+class {PrelBase.Eq{-23,p-} riC_riG, PrelBase.Show{-2i,p-} riC_riG, PrelBase.Eval{-24,p-} riC_riG} => PrelBase.Num{-2c,p-} riC_riG where {
+ + ::
+ riC_riG -> riC_riG -> riC_riG;
+ - ::
+ riC_riG -> riC_riG -> riC_riG;
+ * ::
+ riC_riG -> riC_riG -> riC_riG;
+ negate ::
+ riC_riG -> riC_riG;
+ abs ::
+ riC_riG -> riC_riG;
+ signum ::
+ riC_riG -> riC_riG;
+ fromInteger ::
+ PrelBase.Integer{-3h,p-} -> riC_riG;
+ fromInt ::
+ PrelBase.Int{-3g,p-} -> riC_riG;
+ }
+instance _forall_ [a_r3f] => {K{-r3J,x-} [a_r3f]} where
+ []
+ op3_r3h
+ a_r3j = a_r3j
+instance {K{-r3J,x-} PrelBase.Bool{-34,i-}} where
+ []
+ op1_r3n
+ a_r3p b_r3r
+ = a_r3p
+instance {K{-r3J,x-} PrelBase.Int{-3g,i-}} where
+ []
+ op1_r3v
+ a_r3x b_r3z
+ = a_r3x PrelBase.+{-rb3,i-} b_r3z
+ op2_r3B
+ x_r3D = x_r3D
+class K{-r3J,x-} a_r3G where {
+ op1 ::
+ a_r3G -> a_r3G -> a_r3G;
+ op2 ::
+ PrelBase.Int{-3g,i-} -> a_r3G;
+ }