3 ================================================================================
8 [rlg{-aHq-} riC{-aHC-}]
10 {PrelBase.Num{-2c,p-} riC{-aHC-}}
11 -> {PrelBase.Eq{-23,p-} rlg{-aHq-}}
12 -> (rlg{-aHq-} -> riC{-aHC-}, PrelBase.Bool{-34,p-}
17 _/\_ rlg{-aHq-} riC{-aHC-} -> \ d.Num_aHI ::
18 {PrelBase.Num{-2c,p-} riC{-aHC-}}
21 {PrelBase.Eq{-23,p-} rlg{-aHq-}}
26 rlg{-aHq-} -> rlg{-aHq-} -> PrelBase.Bool{-34,p-}
30 _@_ rlg{-aHq-} d.Eq_aHG;
32 riC{-aHC-} -> riC{-aHC-}
36 _@_ riC{-aHC-} d.Num_aHI;
38 rlg{-aHq-} -> riC{-aHC-}
56 PrelBase.Bool{-34,p-} -> rlg{-aHq-} -> riC{-aHC-}
77 PrelTup.(,){-62,p-}{i}
78 {_@_ (rlg{-aHq-} -> riC{-aHC-})
79 _@_ (PrelBase.Bool{-34,p-} -> rlg{-aHq-} -> riC{-aHC-})
84 [rlg{-aHq-} riC{-aHC-}]
86 {PrelBase.Num{-2c,p-} riC{-aHC-}}
87 -> {PrelBase.Eq{-23,p-} rlg{-aHq-}}
92 _/\_ rlg{-aHq-} riC{-aHC-} -> \ d.Num_aHI ::
93 {PrelBase.Num{-2c,p-} riC{-aHC-}}
96 {PrelBase.Eq{-23,p-} rlg{-aHq-}}
101 _@_ rlg{-aHq-} _@_ riC{-aHC-} d.Num_aHI d.Eq_aHG
103 PrelTup.(,){-62,p-}{i} ds_dM9 ds_dMa ->
107 [rlg{-aHq-} riC{-aHC-}]
109 {PrelBase.Num{-2c,p-} riC{-aHC-}}
110 -> {PrelBase.Eq{-23,p-} rlg{-aHq-}}
111 -> PrelBase.Bool{-34,p-}
116 _/\_ rlg{-aHq-} riC{-aHC-} -> \ d.Num_aHI ::
117 {PrelBase.Num{-2c,p-} riC{-aHC-}}
119 d.Num_aHI d.Eq_aHG ::
120 {PrelBase.Eq{-23,p-} rlg{-aHq-}}
125 _@_ rlg{-aHq-} _@_ riC{-aHC-} d.Num_aHI d.Eq_aHG
127 PrelTup.(,){-62,p-}{i} ds_dMB ds_dMA ->
131 NOTE: Simplifier still going after 4 iterations; bailing out.