2 Warning: Possibly incomplete patterns
3 in the definition of function `fb'
5 Warning: Possibly incomplete patterns
6 in the definition of function `fa'
9 ================================================================================
12 PrelBase.(){-40,p-} -> PrelBase.(){-40,p-}
19 case ds_d18I of { PrelBase.(){-60,p-}{i} ->
20 PrelBase.(){-60,p-}{i};}
22 PrelBase.(){-40,p-} -> PrelBase.(){-40,p-}
27 _forall_ [t{-aCG-}] => PrelBase.(){-40,p-} -> t{-aCG-} -> t{-aCG-}
30 _/\_ t{-aCG-} -> \ ds_d19f ::
37 case ds_d19f of { PrelBase.(){-60,p-}{i} -> x_r4Z;}
40 [t{-aDB-} t{-aDE-} t{-aDH-} t{-aDK-} t{-aDN-} t{-aDQ-} t{-aDT-} t{-aDW-} t{-aDZ-} t{-aE2-} t{-aE5-} t{-aE8-} t{-aEb-} t{-aEe-} t{-aEh-} t{-aEk-} t{-aEn-} t{-aEq-} t{-aEt-} t{-aEw-} t{-aEz-} t{-aEC-} t{-aEF-} t{-aEI-} t{-aEL-} t{-aEO-} t{-aER-} t{-aEU-} t{-aEX-} t{-aF0-} t{-aF3-} t{-aF6-} t{-aF9-} t{-aFc-} t{-aFf-} t{-aFi-} t{-aFl-} t{-aFo-} t{-aFr-} t{-aFu-} t{-aFx-} t{-aFA-} t{-aFD-} t{-aFG-} t{-aFJ-} t{-aFM-} t{-aFP-} t{-aFS-} t{-aFV-} t{-aFY-} t{-aG1-} t{-aG4-}]
42 (t{-aDB-}, t{-aDE-}, t{-aDH-}, t{-aDK-}, t{-aDN-}, t{-aDQ-}, t{-aDT-}, t{-aDW-}, t{-aDZ-}, t{-aE2-}, t{-aE5-}, t{-aE8-}, t{-aEb-}, t{-aEe-}, t{-aEh-}, t{-aEk-}, t{-aEn-}, t{-aEq-}, t{-aEt-}, t{-aEw-}, t{-aEz-}, t{-aEC-}, t{-aEF-}, t{-aEI-}, t{-aEL-}, t{-aEO-}, t{-aER-}, t{-aEU-}, t{-aEX-}, t{-aF0-}, t{-aF3-}, t{-aF6-}, t{-aF9-}, t{-aFc-}, t{-aFf-}, t{-aFi-}, t{-aFl-}, t{-aFo-}, t{-aFr-}, t{-aFu-}, t{-aFx-}, t{-aFA-}, t{-aFD-}, t{-aFG-}, t{-aFJ-}, t{-aFM-}, t{-aFP-}, t{-aFS-}, t{-aFV-}, t{-aFY-}, t{-aG1-}, t{-aG4-})
46 _/\_ t{-aDB-} t{-aDE-} t{-aDH-} t{-aDK-} t{-aDN-} t{-aDQ-} t{-aDT-} t{-aDW-} t{-aDZ-} t{-aE2-} t{-aE5-} t{-aE8-} t{-aEb-} t{-aEe-} t{-aEh-} t{-aEk-} t{-aEn-} t{-aEq-} t{-aEt-} t{-aEw-} t{-aEz-} t{-aEC-} t{-aEF-} t{-aEI-} t{-aEL-} t{-aEO-} t{-aER-} t{-aEU-} t{-aEX-} t{-aF0-} t{-aF3-} t{-aF6-} t{-aF9-} t{-aFc-} t{-aFf-} t{-aFi-} t{-aFl-} t{-aFo-} t{-aFr-} t{-aFu-} t{-aFx-} t{-aFA-} t{-aFD-} t{-aFG-} t{-aFJ-} t{-aFM-} t{-aFP-} t{-aFS-} t{-aFV-} t{-aFY-} t{-aG1-} t{-aG4-} -> \ ds_d1ar ::
47 (t{-aDB-}, t{-aDE-}, t{-aDH-}, t{-aDK-}, t{-aDN-}, t{-aDQ-}, t{-aDT-}, t{-aDW-}, t{-aDZ-}, t{-aE2-}, t{-aE5-}, t{-aE8-}, t{-aEb-}, t{-aEe-}, t{-aEh-}, t{-aEk-}, t{-aEn-}, t{-aEq-}, t{-aEt-}, t{-aEw-}, t{-aEz-}, t{-aEC-}, t{-aEF-}, t{-aEI-}, t{-aEL-}, t{-aEO-}, t{-aER-}, t{-aEU-}, t{-aEX-}, t{-aF0-}, t{-aF3-}, t{-aF6-}, t{-aF9-}, t{-aFc-}, t{-aFf-}, t{-aFi-}, t{-aFl-}, t{-aFo-}, t{-aFr-}, t{-aFu-}, t{-aFx-}, t{-aFA-}, t{-aFD-}, t{-aFG-}, t{-aFJ-}, t{-aFM-}, t{-aFP-}, t{-aFS-}, t{-aFV-}, t{-aFY-}, t{-aG1-}, t{-aG4-})
53 PrelTup.(,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,){-6Q,p-}{i} a_r47 b_r48 c_r49 d_r4a e_r4b f_r4c g_r4d h_r4e i_r4f j_r4g k_r4h l_r4i m_r4j n_r4k o_r4l p_r4m q_r4n r_r4o s_r4p t_r4q u_r4r v_r4s w_r4t x_r4u y_r4v z_r4w aa_r4x ab_r4y ac_r4z ad_r4A ae_r4B af_r4C ag_r4D ah_r4E ai_r4F aj_r4G ak_r4H al_r4I am_r4J an_r4K ao_r4L ap_r4M aq_r4N ar_r4O as_r4P at_r4Q au_r4R av_r4S aw_r4T ax_r4U ay_r4V az_r4W ->
56 _forall_ [t{-aGc-} t{-aGe-}] => [t{-aGc-}] -> [t{-aGe-}]
59 _/\_ t{-aGc-} t{-aGe-} -> \ ds_d1aY ::
68 GHCerr.patError{-8r,p-}
69 _@_ [t{-aGe-}] _string_ "ds018.hs:41|function `fb'"
72 PrelBase.:{-55,p-}{i} ds_d1b7 ds_d1b6 ->
74 PrelBase.[]{-5i,p-}{i} ->
75 PrelBase.[]{-5i,p-}{i}
79 _forall_ [t{-aGJ-}] => [t{-aGJ-}] -> t{-aGJ-}
82 _/\_ t{-aGJ-} -> \ ds_d1bF ::
91 GHCerr.patError{-8r,p-}
92 _@_ t{-aGJ-} _string_ "ds018.hs:39|function `fa'"
95 PrelBase.[]{-5i,p-}{i} ->
97 PrelBase.:{-55,p-}{i} a_r3F ds_d1bT ->
99 PrelBase.[]{-5i,p-}{i} ->
101 PrelBase.:{-55,p-}{i} b_r3G ds_d1c6 ->
103 PrelBase.[]{-5i,p-}{i} ->
105 PrelBase.:{-55,p-}{i} c_r3H ds_d1cj ->
107 PrelBase.[]{-5i,p-}{i} ->
109 PrelBase.:{-55,p-}{i} d_r3I ds_d1cw ->
111 PrelBase.[]{-5i,p-}{i} ->
113 PrelBase.:{-55,p-}{i} e_r3J ds_d1cJ ->
115 PrelBase.[]{-5i,p-}{i} ->
117 PrelBase.:{-55,p-}{i} f_r3K ds_d1cW ->
119 PrelBase.[]{-5i,p-}{i} ->
121 PrelBase.:{-55,p-}{i} g_r3L ds_d1d9 ->
123 PrelBase.[]{-5i,p-}{i} ->
125 PrelBase.:{-55,p-}{i} h_r3M ds_d1dm ->
127 PrelBase.[]{-5i,p-}{i} ->
129 PrelBase.:{-55,p-}{i} i_r3N ds_d1dz ->
131 PrelBase.[]{-5i,p-}{i} ->
133 PrelBase.:{-55,p-}{i} j_r3O ds_d1dM ->
135 PrelBase.[]{-5i,p-}{i} ->
137 PrelBase.:{-55,p-}{i} k_r3P ds_d1dZ ->
139 PrelBase.[]{-5i,p-}{i} ->
141 PrelBase.:{-55,p-}{i} l_r3Q ds_d1ec ->
143 PrelBase.[]{-5i,p-}{i} ->
145 PrelBase.:{-55,p-}{i} m_r3R ds_d1ep ->
149 PrelBase.[]{-5i,p-}{i} ->
151 PrelBase.:{-55,p-}{i} n_r3S ds_d1eC ->
155 PrelBase.[]{-5i,p-}{i} ->
157 PrelBase.:{-55,p-}{i} o_r3T ds_d1eP ->
161 PrelBase.[]{-5i,p-}{i} ->
163 PrelBase.:{-55,p-}{i} p_r3U ds_d1f2 ->
167 PrelBase.[]{-5i,p-}{i} ->
169 PrelBase.:{-55,p-}{i} q_r3V ds_d1ff ->
173 PrelBase.[]{-5i,p-}{i} ->
175 PrelBase.:{-55,p-}{i} r_r3W ds_d1fs ->
179 PrelBase.[]{-5i,p-}{i} ->
181 PrelBase.:{-55,p-}{i} s_r3X ds_d1fF ->
185 PrelBase.[]{-5i,p-}{i} ->
187 PrelBase.:{-55,p-}{i} t_r3Y ds_d1fS ->
191 PrelBase.[]{-5i,p-}{i} ->
193 PrelBase.:{-55,p-}{i} u_r3Z ds_d1g5 ->
197 PrelBase.[]{-5i,p-}{i} ->
199 PrelBase.:{-55,p-}{i} v_r40 ds_d1gi ->
203 PrelBase.[]{-5i,p-}{i} ->
205 PrelBase.:{-55,p-}{i} w_r41 ds_d1gv ->
209 PrelBase.[]{-5i,p-}{i} ->
211 PrelBase.:{-55,p-}{i} x_r42 ds_d1gI ->
215 PrelBase.[]{-5i,p-}{i} ->
217 PrelBase.:{-55,p-}{i} y_r43 ds_d1gV ->
221 PrelBase.[]{-5i,p-}{i} ->
223 PrelBase.:{-55,p-}{i} z_r44 ds_d1h8 ->
227 PrelBase.:{-55,p-}{i} ds_d1hg ds_d1hf ->
229 PrelBase.[]{-5i,p-}{i} ->
260 [t{-aHm-} t{-aHo-} t{-aHq-}]
265 -> (t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-}, t{-aHm-}, t{-aHo-}, t{-aHq-})
268 _/\_ t{-aHm-} t{-aHo-} t{-aHq-} -> \ x_r3z ::
278 PrelTup.(,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,){-62q,p-}{i}
583 t{-aHA-} -> t{-aHC-} -> PrelBase.(){-40,p-}
586 _/\_ t{-aHA-} t{-aHC-} -> \ x_r3v ::
593 PrelBase.(){-60,p-}{i}
596 [t{-aHO-} t{-aHQ-} t{-aHM-}]
598 t{-aHO-} -> t{-aHQ-} -> [t{-aHM-}]
601 _/\_ t{-aHO-} t{-aHQ-} t{-aHM-} -> \ x_r3r ::
608 PrelBase.[]{-5i,p-}{i}
614 t{-aI2-} -> t{-aI2-} -> t{-aI2-} -> [t{-aI2-}]
617 _/\_ t{-aI2-} -> \ x_r3l ::
652 PrelBase.[]{-5i,p-}{i}
655 PrelBase.:{-55,p-}{i}
656 {_@_ t{-aI2-} z_r3p ds_d1vH}
658 PrelBase.:{-55,p-}{i}
659 {_@_ t{-aI2-} y_r3n ds_d1vv}
661 PrelBase.:{-55,p-}{i}
662 {_@_ t{-aI2-} x_r3l ds_d1vj}
664 PrelBase.:{-55,p-}{i}
665 {_@_ t{-aI2-} z_r3p ds_d1v7}
667 PrelBase.:{-55,p-}{i}
668 {_@_ t{-aI2-} y_r3n ds_d1uV}
670 PrelBase.:{-55,p-}{i}
671 {_@_ t{-aI2-} x_r3l ds_d1uJ}