3 ================================================================================
7 [t{-aXD-} t{-aXG-} t{-aXJ-} t{-aXM-} a{-aXO-}]
9 {PrelBase.Monad{-28,p-} a{-aXO-}}
10 -> a{-aXO-} (t{-aXD-}, t{-aXG-}, t{-aXJ-}, t{-aXM-})
11 -> a{-aXO-} (t{-aXD-}, t{-aXG-})
14 _/\_ t{-aXD-} t{-aXG-} t{-aXJ-} t{-aXM-} a{-aXO-} -> \ d.Monad_aXY ::
15 {PrelBase.Monad{-28,p-} a{-aXO-}}
21 [rjI{-a107-} rjJ{-a106-}]
24 -> (rjI{-a107-} -> a{-aXO-} rjJ{-a106-})
25 -> a{-aXO-} rjJ{-a106-}
29 _@_ a{-aXO-} d.Monad_aXY } in
32 {PrelBase.Monad{-28,p-} a{-aXO-}}
38 _forall_ [rjQ{-a108-}] => rjQ{-a108-} -> a{-aXO-} rjQ{-a108-}
41 PrelBase.return{-816,p-}
42 _@_ a{-aXO-} d.Monad_aY0
45 a{-aXO-} (t{-aXD-}, t{-aXG-}, t{-aXJ-}, t{-aXM-})
50 (t{-aXD-}, t{-aXG-}, t{-aXJ-}, t{-aXM-})
51 -> a{-aXO-} (t{-aXD-}, t{-aXG-})
55 (t{-aXD-}, t{-aXG-}, t{-aXJ-}, t{-aXM-})
61 PrelTup.(,,,){-64,p-}{i} a_r3N b_r3O c_r3P d_r3Q ->
67 PrelTup.(,){-62,p-}{i}
68 {_@_ t{-aXD-} _@_ t{-aXG-} a_r3N b_r3O}
71 _@_ (t{-aXD-}, t{-aXG-}) ds_d1cQ;}
74 _@_ (t{-aXD-}, t{-aXG-}, t{-aXJ-}, t{-aXM-})
75 _@_ (t{-aXD-}, t{-aXG-})
80 [a{-aYh-} t{-aYm-} t{-aYo-}]
82 {PrelBase.Eq{-23,p-} t{-aYm-}}
83 -> {PrelBase.Eq{-23,p-} t{-aYo-}}
84 -> {PrelBase.MonadZero{-29,p-} a{-aYh-}}
85 -> a{-aYh-} ([t{-aYm-}], [t{-aYo-}])
86 -> a{-aYh-} [t{-aYm-}]
89 _/\_ a{-aYh-} t{-aYm-} t{-aYo-} -> \ d.Eq_aYC ::
90 {PrelBase.Eq{-23,p-} t{-aYm-}}
93 {PrelBase.Eq{-23,p-} t{-aYo-}}
95 d.Eq_aYF d.MonadZero_aYL ::
96 {PrelBase.MonadZero{-29,p-} a{-aYh-}}
101 {PrelBase.Monad{-28,p-} a{-aYh-}}
104 PrelBase.scsel_MonadZeroPrelBaseMonad{-a1dR,p-}
105 _@_ a{-aYh-} d.MonadZero_aYL } in
108 {PrelBase.Eq{-23,p-} [t{-aYm-}]}
111 PrelBase.$d27{-rqA,p-}
112 _@_ t{-aYm-} d.Eq_aYC } in
115 {PrelBase.Eq{-23,p-} [t{-aYo-}]}
118 PrelBase.$d27{-rqA,p-}
119 _@_ t{-aYo-} d.Eq_aYF } in
122 {PrelBase.Eq{-23,p-} ([t{-aYm-}], [t{-aYo-}])}
126 _@_ [t{-aYm-}] _@_ [t{-aYo-}] d.Eq_aYA d.Eq_aYD } in
129 ([t{-aYm-}], [t{-aYo-}])
130 -> ([t{-aYm-}], [t{-aYo-}])
131 -> PrelBase.Bool{-34,p-}
135 _@_ ([t{-aYm-}], [t{-aYo-}]) d.Eq_aYy } in
139 [rjI{-a10a-} rjJ{-a109-}]
142 -> (rjI{-a10a-} -> a{-aYh-} rjJ{-a109-})
143 -> a{-aYh-} rjJ{-a109-}
146 PrelBase.>>={-811,p-}
147 _@_ a{-aYh-} d.Monad_aYH } in
150 {PrelBase.Monad{-28,p-} a{-aYh-}}
156 _forall_ [rjQ{-a10b-}] => rjQ{-a10b-} -> a{-aYh-} rjQ{-a10b-}
159 PrelBase.return{-816,p-}
160 _@_ a{-aYh-} d.Monad_aYJ } in
163 _forall_ [rjD{-a10c-}] => a{-aYh-} rjD{-a10c-}
166 PrelBase.zero{-810,p-}
167 _@_ a{-aYh-} d.MonadZero_aYL
170 a{-aYh-} ([t{-aYm-}], [t{-aYo-}])
175 ([t{-aYm-}], [t{-aYo-}]) -> a{-aYh-} [t{-aYm-}]
179 ([t{-aYm-}], [t{-aYo-}])
182 case all_r3H of { PrelTup.(,){-62,p-}{i} x_r3I y_r3J ->
185 ([t{-aYm-}], [t{-aYo-}])
193 PrelBase.[]{-5i,p-}{i}
200 PrelBase.[]{-5i,p-}{i}
203 PrelTup.(,){-62,p-}{i}
204 {_@_ [t{-aYm-}] _@_ [t{-aYo-}] ds_d1fE ds_d1fI}
209 PrelBase.True{-5E,p-}{i} ->
211 _@_ [t{-aYm-}] x_r3I;
212 PrelBase.False{-58,p-}{i} ->
218 _@_ ([t{-aYm-}], [t{-aYo-}]) _@_ [t{-aYm-}] xs_r3F ds_d1f5
223 {PrelBase.MonadZero{-29,p-} a{-aYU-}}
226 -> a{-aYU-} [t{-aYZ-}]
229 _/\_ a{-aYU-} t{-aYZ-} -> \ d.MonadZero_aZd ::
230 {PrelBase.MonadZero{-29,p-} a{-aYU-}}
235 {PrelBase.Monad{-28,p-} a{-aYU-}}
238 PrelBase.scsel_MonadZeroPrelBaseMonad{-a1dR,p-}
239 _@_ a{-aYU-} d.MonadZero_aZd } in
243 [rjI{-a10e-} rjJ{-a10d-}]
246 -> (rjI{-a10e-} -> a{-aYU-} rjJ{-a10d-})
247 -> a{-aYU-} rjJ{-a10d-}
250 PrelBase.>>={-811,p-}
251 _@_ a{-aYU-} d.Monad_aZ9 } in
254 {PrelBase.Monad{-28,p-} a{-aYU-}}
260 _forall_ [rjQ{-a10f-}] => rjQ{-a10f-} -> a{-aYU-} rjQ{-a10f-}
263 PrelBase.return{-816,p-}
264 _@_ a{-aYU-} d.Monad_aZb } in
267 _forall_ [rjD{-a10g-}] => a{-aYU-} rjD{-a10g-}
270 PrelBase.zero{-810,p-}
271 _@_ a{-aYU-} d.MonadZero_aZd
282 t{-aYZ-} -> a{-aYU-} [t{-aYZ-}]
291 t{-aYZ-} -> a{-aYU-} [t{-aYZ-}]
302 _@_ t{-aYZ-} _@_ [t{-aYZ-}] ys_r3z ds_d1hK
305 _@_ t{-aYZ-} _@_ [t{-aYZ-}] xs_r3x ds_d1hu
308 [a{-aZn-} t{-aZp-} t{-aZs-} t{-aZv-}]
310 {PrelBase.MonadZero{-29,p-} a{-aZn-}}
314 -> a{-aZn-} (t{-aZp-}, t{-aZs-}, t{-aZv-})
317 _/\_ a{-aZn-} t{-aZp-} t{-aZs-} t{-aZv-} -> \ d.MonadZero_aZJ ::
318 {PrelBase.MonadZero{-29,p-} a{-aZn-}}
323 {PrelBase.Monad{-28,p-} a{-aZn-}}
326 PrelBase.scsel_MonadZeroPrelBaseMonad{-a1dR,p-}
327 _@_ a{-aZn-} d.MonadZero_aZJ } in
331 [rjI{-a10i-} rjJ{-a10h-}]
334 -> (rjI{-a10i-} -> a{-aZn-} rjJ{-a10h-})
335 -> a{-aZn-} rjJ{-a10h-}
338 PrelBase.>>={-811,p-}
339 _@_ a{-aZn-} d.Monad_aZF } in
342 {PrelBase.Monad{-28,p-} a{-aZn-}}
348 _forall_ [rjQ{-a10j-}] => rjQ{-a10j-} -> a{-aZn-} rjQ{-a10j-}
351 PrelBase.return{-816,p-}
352 _@_ a{-aZn-} d.Monad_aZH } in
355 _forall_ [rjD{-a10k-}] => a{-aZn-} rjD{-a10k-}
358 PrelBase.zero{-810,p-}
359 _@_ a{-aZn-} d.MonadZero_aZJ
373 t{-aZp-} -> a{-aZn-} (t{-aZp-}, t{-aZs-}, t{-aZv-})
382 t{-aZs-} -> a{-aZn-} (t{-aZp-}, t{-aZs-}, t{-aZv-})
391 t{-aZv-} -> a{-aZn-} (t{-aZp-}, t{-aZs-}, t{-aZv-})
400 (t{-aZp-}, t{-aZs-}, t{-aZv-})
403 PrelTup.(,,){-63,p-}{i}
412 _@_ (t{-aZp-}, t{-aZs-}, t{-aZv-}) ds_d1jR
416 _@_ (t{-aZp-}, t{-aZs-}, t{-aZv-})
421 _@_ t{-aZs-} _@_ (t{-aZp-}, t{-aZs-}, t{-aZv-}) ys_r3n ds_d1jq
424 _@_ t{-aZp-} _@_ (t{-aZp-}, t{-aZs-}, t{-aZv-}) xs_r3l ds_d1ja
429 {PrelBase.Monad{-28,p-} a{-aZR-}}
434 _/\_ a{-aZR-} t{-aZT-} -> \ d.Monad_a103 ::
435 {PrelBase.Monad{-28,p-} a{-aZR-}}
441 [rjI{-a10m-} rjJ{-a10l-}]
444 -> (rjI{-a10m-} -> a{-aZR-} rjJ{-a10l-})
445 -> a{-aZR-} rjJ{-a10l-}
448 PrelBase.>>={-811,p-}
449 _@_ a{-aZR-} d.Monad_a103 } in
452 {PrelBase.Monad{-28,p-} a{-aZR-}}
458 _forall_ [rjQ{-a10n-}] => rjQ{-a10n-} -> a{-aZR-} rjQ{-a10n-}
461 PrelBase.return{-816,p-}
462 _@_ a{-aZR-} d.Monad_a105
470 t{-aZT-} -> a{-aZR-} t{-aZT-}
481 _@_ t{-aZT-} _@_ t{-aZT-} xs_r3h ds_d1l4