ghc/compiler/tests/deSugar/ds020.stderr

   1 ds020.hs:20:
   2     Warning: Pattern match(es) completely overlapped
   3         in the definition of function `f'
   4 ds020.hs:16:
   5     Warning: Pattern match(es) completely overlapped
   6         in the definition of function `d'
   7 ds020.hs:17:
   8     Warning: Pattern match(es) completely overlapped
   9         in the definition of function `d'
  10 ds020.hs:9:
  11     Warning: Pattern match(es) completely overlapped
  12         in the definition of function `b'
  13 ds020.hs:6:
  14     Warning: Pattern match(es) completely overlapped
  15         in the definition of function `a'
  16
  17
  18 ================================================================================
  19 Desugared:
  20 Rec {
  21 d.Eq_a1aR  ::
  22     {PrelBase.Eq{-23,p-} PrelBase.Int{-3g,p-}}
  23 {-# L #-}
  24 d.Eq_a1aR =
  25     PrelBase.$d7{-rqT,p-}
  26 ==_a1h7  ::
  27     PrelBase.Int{-3g,p-}
  28     -> PrelBase.Int{-3g,p-}
  29     -> PrelBase.Bool{-34,p-}
  30 {-# L #-}
  31 ==_a1h7 =
  32     PrelBase.=={-8Y,p-}
  33         _@_ PrelBase.Int{-3g,p-} d.Eq_a1aR
  34 d.Num_a1aV  ::
  35     {PrelBase.Num{-2c,p-} PrelBase.Int{-3g,p-}}
  36 {-# L #-}
  37 d.Num_a1aV =
  38     PrelBase.$d3{-rqn,p-}
  39 fromInt_a1h6  ::
  40     PrelBase.Int{-3g,p-} -> PrelBase.Int{-3g,p-}
  41 {-# L #-}
  42 fromInt_a1h6 =
  43     PrelBase.fromInt{-8R,p-}
  44         _@_ PrelBase.Int{-3g,p-} d.Num_a1aV
  45 lit_a1h5  ::
  46     PrelBase.Int{-3g,p-}
  47 {-# L #-}
  48 lit_a1h5 =
  49     let {
  50       ds_d1SI  ::
  51           PrelBase.Int{-3g,p-}
  52       {-# L #-}
  53       ds_d1SI =
  54           PrelBase.I#{-5b,p-}{i}
  55               2
  56     } in
  57       fromInt_a1h6
  58           ds_d1SI
  59 fromInt_a1h4  ::
  60     PrelBase.Int{-3g,p-} -> PrelBase.Int{-3g,p-}
  61 {-# L #-}
  62 fromInt_a1h4 =
  63     fromInt_a1h6
  64 lit_a1h3  ::
  65     PrelBase.Int{-3g,p-}
  66 {-# L #-}
  67 lit_a1h3 =
  68     let {
  69       ds_d1SX  ::
  70           PrelBase.Int{-3g,p-}
  71       {-# L #-}
  72       ds_d1SX =
  73           PrelBase.I#{-5b,p-}{i}
  74               4
  75     } in
  76       fromInt_a1h4
  77           ds_d1SX
  78 fromInt_a1h2  ::
  79     PrelBase.Int{-3g,p-} -> PrelBase.Int{-3g,p-}
  80 {-# L #-}
  81 fromInt_a1h2 =
  82     fromInt_a1h6
  83 lit_a1h1  ::
  84     PrelBase.Int{-3g,p-}
  85 {-# L #-}
  86 lit_a1h1 =
  87     let {
  88       ds_d1Tc  ::
  89           PrelBase.Int{-3g,p-}
  90       {-# L #-}
  91       ds_d1Tc =
  92           PrelBase.I#{-5b,p-}{i}
  93               3
  94     } in
  95       fromInt_a1h2
  96           ds_d1Tc
  97 d.Ord_a1b0  ::
  98     {PrelBase.Ord{-2d,p-} PrelBase.Int{-3g,p-}}
  99 {-# L #-}
 100 d.Ord_a1b0 =
 101     PrelBase.$d6{-rqS,p-}
 102 >_a1h0  ::
 103     PrelBase.Int{-3g,p-}
 104     -> PrelBase.Int{-3g,p-}
 105     -> PrelBase.Bool{-34,p-}
 106 {-# L #-}
 107 >_a1h0 =
 108     PrelBase.>{-rs3,p-}
 109         _@_ PrelBase.Int{-3g,p-} d.Ord_a1b0
 110 lit_a1gZ  ::
 111     PrelBase.Int{-3g,p-}
 112 {-# L #-}
 113 lit_a1gZ =
 114     lit_a1h1
 115 lit_a1gY  ::
 116     PrelBase.Int{-3g,p-}
 117 {-# L #-}
 118 lit_a1gY =
 119     lit_a1h3
 120 fromInt_a1gX  ::
 121     PrelBase.Int{-3g,p-} -> PrelBase.Int{-3g,p-}
 122 {-# L #-}
 123 fromInt_a1gX =
 124     fromInt_a1h6
 125 lit_a1gW  ::
 126     PrelBase.Int{-3g,p-}
 127 {-# L #-}
 128 lit_a1gW =
 129     let {
 130       ds_d1TC  ::
 131           PrelBase.Int{-3g,p-}
 132       {-# L #-}
 133       ds_d1TC =
 134           PrelBase.I#{-5b,p-}{i}
 135               5
 136     } in
 137       fromInt_a1gX
 138           ds_d1TC
 139 d.Ord_a1b4  ::
 140     {PrelBase.Ord{-2d,p-} PrelBase.Int{-3g,p-}}
 141 {-# L #-}
 142 d.Ord_a1b4 =
 143     d.Ord_a1b0
 144 <=_a1gV  ::
 145     PrelBase.Int{-3g,p-}
 146     -> PrelBase.Int{-3g,p-}
 147     -> PrelBase.Bool{-34,p-}
 148 {-# L #-}
 149 <=_a1gV =
 150     PrelBase.<={-rs2,p-}
 151         _@_ PrelBase.Int{-3g,p-} d.Ord_a1b4
 152 lit_a1gU  ::
 153     PrelBase.Int{-3g,p-}
 154 {-# L #-}
 155 lit_a1gU =
 156     lit_a1h5
 157 lit_a1gT  ::
 158     PrelBase.Int{-3g,p-}
 159 {-# L #-}
 160 lit_a1gT =
 161     lit_a1h1
 162 ==_a1gS  ::
 163     PrelBase.Int{-3g,p-}
 164     -> PrelBase.Int{-3g,p-}
 165     -> PrelBase.Bool{-34,p-}
 166 {-# L #-}
 167 ==_a1gS =
 168     ==_a1h7
 169 lit_a1gR  ::
 170     PrelBase.Int{-3g,p-}
 171 {-# L #-}
 172 lit_a1gR =
 173     lit_a1h5
 174 lit_a1gQ  ::
 175     PrelBase.Int{-3g,p-}
 176 {-# L #-}
 177 lit_a1gQ =
 178     lit_a1h3
 179 lit_a1gP  ::
 180     PrelBase.Int{-3g,p-}
 181 {-# L #-}
 182 lit_a1gP =
 183     lit_a1h1
 184 ==_a1hb  ::
 185     PrelBase.Int{-3g,p-}
 186     -> PrelBase.Int{-3g,p-}
 187     -> PrelBase.Bool{-34,p-}
 188 {-# L #-}
 189 ==_a1hb =
 190     ==_a1gS
 191 ==_a1ha  ::
 192     PrelBase.Int{-3g,p-}
 193     -> PrelBase.Int{-3g,p-}
 194     -> PrelBase.Bool{-34,p-}
 195 {-# L #-}
 196 ==_a1ha =
 197     ==_a1gS
 198 lit_a1h9  ::
 199     PrelBase.Int{-3g,p-}
 200 {-# L #-}
 201 lit_a1h9 =
 202     lit_a1gQ
 203 lit_a1h8  ::
 204     PrelBase.Int{-3g,p-}
 205 {-# L #-}
 206 lit_a1h8 =
 207     lit_a1gR
 208 ds_d1Q9  ::
 209     (PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-})
 210 {-# L #-}
 211 ds_d1Q9 =
 212     let { ds_d1Zt  ::
 213               (PrelBase.Char{-38,p-}, (PrelBase.Char{-38,p-}, (PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-})))
 214           {-# L #-}
 215           ds_d1Zt =
 216       let {
 217         eq4_a12Q  ::
 218             PrelBase.Bool{-34,p-}
 219         {-# L #-}
 220         eq4_a12Q =
 221             ==_a1ha
 222                 lit_a1h9 lit_a1h8 } in
 223       let {
 224         eq4_r4b  ::
 225             PrelBase.Bool{-34,p-}
 226         {-# L #-}
 227         eq4_r4b =
 228             eq4_a12Q } in
 229       let {
 230         lit_a1Uy  ::
 231             PrelBase.Int{-3g,p-}
 232         {-# L #-}
 233         lit_a1Uy =
 234             lit_a1gP } in
 235       let {
 236         eq3_a13e  ::
 237             PrelBase.Bool{-34,p-}
 238         {-# L #-}
 239         eq3_a13e =
 240             ==_a1hb
 241                 lit_a1gP lit_a1Uy } in
 242       let {
 243         eq3_r4a  ::
 244             PrelBase.Bool{-34,p-}
 245         {-# L #-}
 246         eq3_r4a =
 247             eq3_a13e } in
 248       let {
 249         eq2_a13A  ::
 250             PrelBase.Bool{-34,p-}
 251         {-# L #-}
 252         eq2_a13A =
 253             ==_a1gS
 254                 lit_a1gR lit_a1gQ } in
 255       let {
 256         eq2_r49  ::
 257             PrelBase.Bool{-34,p-}
 258         {-# L #-}
 259         eq2_r49 =
 260             eq2_a13A
 261       } in
 262         case eq2_r49 of {
 263           PrelBase.True{-5E,p-}{i} ->
 264               let {
 265                 ds_d1Va  ::
 266                     PrelBase.Char{-38,p-}
 267                 {-# L #-}
 268                 ds_d1Va =
 269                     PrelBase.C#{-54,p-}{i}
 270                         {'a'} } in
 271               let { ds_d1Ve  ::
 272                         (PrelBase.Char{-38,p-}, (PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}))
 273                     {-# L #-}
 274                     ds_d1Ve =
 275                 let {
 276                   ds_d1Vu  ::
 277                       PrelBase.Char{-38,p-}
 278                   {-# L #-}
 279                   ds_d1Vu =
 280                       PrelBase.C#{-54,p-}{i}
 281                           {'a'} } in
 282                 let { ds_d1Vy  ::
 283                           (PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-})
 284                       {-# L #-}
 285                       ds_d1Vy =
 286                   let {
 287                     ds_d1VO  ::
 288                         PrelBase.Char{-38,p-}
 289                     {-# L #-}
 290                     ds_d1VO =
 291                         PrelBase.C#{-54,p-}{i}
 292                             {'a'} } in
 293                   let {
 294                     ds_d1VS  ::
 295                         PrelBase.Char{-38,p-}
 296                     {-# L #-}
 297                     ds_d1VS =
 298                         PrelBase.C#{-54,p-}{i}
 299                             {'a'}
 300                   } in
 301                     PrelTup.(,){-62,p-}{i}
 302                         {_@_ PrelBase.Char{-38,p-}
 303                          _@_ PrelBase.Char{-38,p-}
 304                          ds_d1VO
 305                          ds_d1VS}
 306                 } in
 307                 PrelTup.(,){-62,p-}{i}
 308                     {_@_ PrelBase.Char{-38,p-}
 309                      _@_ (PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-})
 310                      ds_d1Vu
 311                      ds_d1Vy}
 312               } in
 313               PrelTup.(,){-62,p-}{i}
 314                   {_@_ PrelBase.Char{-38,p-}
 315                    _@_ (PrelBase.Char{-38,p-}, (PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}))
 316                    ds_d1Va
 317                    ds_d1Ve};
 318           PrelBase.False{-58,p-}{i} ->
 319               case eq3_r4a of {
 320                 PrelBase.True{-5E,p-}{i} ->
 321                     let {
 322                       ds_d1Wm  ::
 323                           PrelBase.Char{-38,p-}
 324                       {-# L #-}
 325                       ds_d1Wm =
 326                           PrelBase.C#{-54,p-}{i}
 327                               {'b'} } in
 328                     let { ds_d1Wq  ::
 329                               (PrelBase.Char{-38,p-}, (PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}))
 330                           {-# L #-}
 331                           ds_d1Wq =
 332                       let {
 333                         ds_d1WG  ::
 334                             PrelBase.Char{-38,p-}
 335                         {-# L #-}
 336                         ds_d1WG =
 337                             PrelBase.C#{-54,p-}{i}
 338                                 {'b'} } in
 339                       let { ds_d1WK  ::
 340                                 (PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-})
 341                             {-# L #-}
 342                             ds_d1WK =
 343                         let {
 344                           ds_d1X0  ::
 345                               PrelBase.Char{-38,p-}
 346                           {-# L #-}
 347                           ds_d1X0 =
 348                               PrelBase.C#{-54,p-}{i}
 349                                   {'b'} } in
 350                         let {
 351                           ds_d1X4  ::
 352                               PrelBase.Char{-38,p-}
 353                           {-# L #-}
 354                           ds_d1X4 =
 355                               PrelBase.C#{-54,p-}{i}
 356                                   {'b'}
 357                         } in
 358                           PrelTup.(,){-62,p-}{i}
 359                               {_@_ PrelBase.Char{-38,p-}
 360                                _@_ PrelBase.Char{-38,p-}
 361                                ds_d1X0
 362                                ds_d1X4}
 363                       } in
 364                       PrelTup.(,){-62,p-}{i}
 365                           {_@_ PrelBase.Char{-38,p-}
 366                            _@_ (PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-})
 367                            ds_d1WG
 368                            ds_d1WK}
 369                     } in
 370                     PrelTup.(,){-62,p-}{i}
 371                         {_@_ PrelBase.Char{-38,p-}
 372                          _@_ (PrelBase.Char{-38,p-}, (PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}))
 373                          ds_d1Wm
 374                          ds_d1Wq};
 375                 PrelBase.False{-58,p-}{i} ->
 376                     case eq4_r4b of {
 377                       PrelBase.True{-5E,p-}{i} ->
 378                           let {
 379                             ds_d1Xy  ::
 380                                 PrelBase.Char{-38,p-}
 381                             {-# L #-}
 382                             ds_d1Xy =
 383                                 PrelBase.C#{-54,p-}{i}
 384                                     {'c'} } in
 385                           let { ds_d1XC  ::
 386                                     (PrelBase.Char{-38,p-}, (PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}))
 387                                 {-# L #-}
 388                                 ds_d1XC =
 389                             let {
 390                               ds_d1XS  ::
 391                                   PrelBase.Char{-38,p-}
 392                               {-# L #-}
 393                               ds_d1XS =
 394                                   PrelBase.C#{-54,p-}{i}
 395                                       {'c'} } in
 396                             let { ds_d1XW  ::
 397                                       (PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-})
 398                                   {-# L #-}
 399                                   ds_d1XW =
 400                               let {
 401                                 ds_d1Yc  ::
 402                                     PrelBase.Char{-38,p-}
 403                                 {-# L #-}
 404                                 ds_d1Yc =
 405                                     PrelBase.C#{-54,p-}{i}
 406                                         {'c'} } in
 407                               let {
 408                                 ds_d1Yg  ::
 409                                     PrelBase.Char{-38,p-}
 410                                 {-# L #-}
 411                                 ds_d1Yg =
 412                                     PrelBase.C#{-54,p-}{i}
 413                                         {'c'}
 414                               } in
 415                                 PrelTup.(,){-62,p-}{i}
 416                                     {_@_ PrelBase.Char{-38,p-}
 417                                      _@_ PrelBase.Char{-38,p-}
 418                                      ds_d1Yc
 419                                      ds_d1Yg}
 420                             } in
 421                             PrelTup.(,){-62,p-}{i}
 422                                 {_@_ PrelBase.Char{-38,p-}
 423                                  _@_ (PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-})
 424                                  ds_d1XS
 425                                  ds_d1XW}
 426                           } in
 427                           PrelTup.(,){-62,p-}{i}
 428                               {_@_ PrelBase.Char{-38,p-}
 429                                _@_ (PrelBase.Char{-38,p-}, (PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}))
 430                                ds_d1Xy
 431                                ds_d1XC};
 432                       PrelBase.False{-58,p-}{i} ->
 433                           let {
 434                             ds_d1YC  ::
 435                                 PrelBase.Char{-38,p-}
 436                             {-# L #-}
 437                             ds_d1YC =
 438                                 PrelBase.C#{-54,p-}{i}
 439                                     {'d'} } in
 440                           let { ds_d1YG  ::
 441                                     (PrelBase.Char{-38,p-}, (PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}))
 442                                 {-# L #-}
 443                                 ds_d1YG =
 444                             let {
 445                               ds_d1YW  ::
 446                                   PrelBase.Char{-38,p-}
 447                               {-# L #-}
 448                               ds_d1YW =
 449                                   PrelBase.C#{-54,p-}{i}
 450                                       {'d'} } in
 451                             let { ds_d1Z0  ::
 452                                       (PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-})
 453                                   {-# L #-}
 454                                   ds_d1Z0 =
 455                               let {
 456                                 ds_d1Zg  ::
 457                                     PrelBase.Char{-38,p-}
 458                                 {-# L #-}
 459                                 ds_d1Zg =
 460                                     PrelBase.C#{-54,p-}{i}
 461                                         {'d'} } in
 462                               let {
 463                                 ds_d1Zk  ::
 464                                     PrelBase.Char{-38,p-}
 465                                 {-# L #-}
 466                                 ds_d1Zk =
 467                                     PrelBase.C#{-54,p-}{i}
 468                                         {'d'}
 469                               } in
 470                                 PrelTup.(,){-62,p-}{i}
 471                                     {_@_ PrelBase.Char{-38,p-}
 472                                      _@_ PrelBase.Char{-38,p-}
 473                                      ds_d1Zg
 474                                      ds_d1Zk}
 475                             } in
 476                             PrelTup.(,){-62,p-}{i}
 477                                 {_@_ PrelBase.Char{-38,p-}
 478                                  _@_ (PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-})
 479                                  ds_d1YW
 480                                  ds_d1Z0}
 481                           } in
 482                           PrelTup.(,){-62,p-}{i}
 483                               {_@_ PrelBase.Char{-38,p-}
 484                                _@_ (PrelBase.Char{-38,p-}, (PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}))
 485                                ds_d1YC
 486                                ds_d1YG};
 487                     };
 488               };
 489         }
 490     } in
 491     case ds_d1Zt of { PrelTup.(,){-62,p-}{i} x4_a12r ds_d1ZC  ->
 492     case ds_d1ZC of { PrelTup.(,){-62,p-}{i} y4_a12s ds_d1ZL  ->
 493     case ds_d1ZL of { PrelTup.(,){-62,p-}{i} z4_a12t a4_a12u  ->
 494     PrelTup.(,,,){-64,p-}{i}
 495         {_@_ PrelBase.Char{-38,p-}
 496          _@_ PrelBase.Char{-38,p-}
 497          _@_ PrelBase.Char{-38,p-}
 498          _@_ PrelBase.Char{-38,p-}
 499          x4_a12r
 500          y4_a12s
 501          z4_a12t
 502          a4_a12u};};};}
 503 x4_a12r  ::
 504     PrelBase.Char{-38,p-}
 505 {-# L #-}
 506 x4_a12r =
 507     case
 508         ds_d1Q9
 509     of {
 510     PrelTup.(,,,){-64,p-}{i} x4_a12r y4_a12s z4_a12t a4_a12u  ->
 511     x4_a12r;}
 512 y4_a12s  ::
 513     PrelBase.Char{-38,p-}
 514 {-# L #-}
 515 y4_a12s =
 516     case
 517         ds_d1Q9
 518     of {
 519     PrelTup.(,,,){-64,p-}{i} x4_a12r y4_a12s z4_a12t a4_a12u  ->
 520     y4_a12s;}
 521 z4_a12t  ::
 522     PrelBase.Char{-38,p-}
 523 {-# L #-}
 524 z4_a12t =
 525     case
 526         ds_d1Q9
 527     of {
 528     PrelTup.(,,,){-64,p-}{i} x4_a12r y4_a12s z4_a12t a4_a12u  ->
 529     z4_a12t;}
 530 a4_a12u  ::
 531     PrelBase.Char{-38,p-}
 532 {-# L #-}
 533 a4_a12u =
 534     case
 535         ds_d1Q9
 536     of {
 537     PrelTup.(,,,){-64,p-}{i} x4_a12r y4_a12s z4_a12t a4_a12u  ->
 538     a4_a12u;}
 539 x4{-r4f,x-}  ::
 540     PrelBase.Char{-38,p-}
 541 {-# L #-}
 542 x4{-r4f,x-} =
 543     x4_a12r
 544 y4{-r4e,x-}  ::
 545     PrelBase.Char{-38,p-}
 546 {-# L #-}
 547 y4{-r4e,x-} =
 548     y4_a12s
 549 z4{-r4d,x-}  ::
 550     PrelBase.Char{-38,p-}
 551 {-# L #-}
 552 z4{-r4d,x-} =
 553     z4_a12t
 554 a4{-r4c,x-}  ::
 555     PrelBase.Char{-38,p-}
 556 {-# L #-}
 557 a4{-r4c,x-} =
 558     a4_a12u
 559 lit_a1QK  ::
 560     PrelBase.Int{-3g,p-}
 561 {-# L #-}
 562 lit_a1QK =
 563     lit_a1gZ
 564 ds_d1QP  ::
 565     (PrelBase.Int{-3g,p-}, PrelBase.Int{-3g,p-})
 566 {-# L #-}
 567 ds_d1QP =
 568     case
 569         >_a1h0
 570             x3_a148 lit_a1gZ
 571     of {
 572       PrelBase.True{-5E,p-}{i} ->
 573           PrelTup.(,){-62,p-}{i}
 574               {_@_ PrelBase.Int{-3g,p-}
 575                _@_ PrelBase.Int{-3g,p-}
 576                lit_a1gY
 577                lit_a1gW};
 578       PrelBase.False{-58,p-}{i} ->
 579           case
 580               <=_a1gV
 581                   x3_a148 lit_a1QK
 582           of {
 583             PrelBase.True{-5E,p-}{i} ->
 584                 PrelTup.(,){-62,p-}{i}
 585                     {_@_ PrelBase.Int{-3g,p-}
 586                      _@_ PrelBase.Int{-3g,p-}
 587                      lit_a1gU
 588                      lit_a1gT};
 589             PrelBase.False{-58,p-}{i} ->
 590                 GHCerr.nonExhaustiveGuardsError{-8l,p-}
 591                     _@_ (PrelBase.Int{-3g,p-}, PrelBase.Int{-3g,p-})
 592                     _string_ "ds020.hs:42|";
 593           };
 594     }
 595 x3_a148  ::
 596     PrelBase.Int{-3g,p-}
 597 {-# L #-}
 598 x3_a148 =
 599     case ds_d1QP of { PrelTup.(,){-62,p-}{i} x3_a148 y3_a149  ->
 600     x3_a148;}
 601 y3_a149  ::
 602     PrelBase.Int{-3g,p-}
 603 {-# L #-}
 604 y3_a149 =
 605     case ds_d1QP of { PrelTup.(,){-62,p-}{i} x3_a148 y3_a149  ->
 606     y3_a149;}
 607 x3{-r4h,x-}  ::
 608     PrelBase.Int{-3g,p-}
 609 {-# L #-}
 610 x3{-r4h,x-} =
 611     x3_a148
 612 y3{-r4g,x-}  ::
 613     PrelBase.Int{-3g,p-}
 614 {-# L #-}
 615 y3{-r4g,x-} =
 616     y3_a149
 617 ds_d1Ra  ::
 618     _forall_ [t{-a16h-}] => (t{-a16h-}, t{-a16h-}, [t{-a16h-}])
 619 {-# L #-}
 620 ds_d1Ra =
 621     _/\_ t{-a16h-} ->
 622         _letrec_ {
 623           ==_a1mv  ::
 624               PrelBase.Int{-3g,p-}
 625               -> PrelBase.Int{-3g,p-}
 626               -> PrelBase.Bool{-34,p-}
 627           {-# L #-}
 628           ==_a1mv =
 629               ==_a1h7;
 630           ==_a1mu  ::
 631               PrelBase.Int{-3g,p-}
 632               -> PrelBase.Int{-3g,p-}
 633               -> PrelBase.Bool{-34,p-}
 634           {-# L #-}
 635           ==_a1mu =
 636               ==_a1h7;
 637           lit_a1mt  ::
 638               PrelBase.Int{-3g,p-}
 639           {-# L #-}
 640           lit_a1mt =
 641               lit_a1h3;
 642           lit_a1ms  ::
 643               PrelBase.Int{-3g,p-}
 644           {-# L #-}
 645           lit_a1ms =
 646               lit_a1h5;
 647           ds_d22I  ::
 648               (t{-a16h-}, t{-a16h-}, [t{-a16h-}])
 649           {-# L #-}
 650           ds_d22I =
 651               let { ds_d257  ::
 652                         [t{-a16h-}]
 653                     {-# L #-}
 654                     ds_d257 =
 655                 let {
 656                   eq4_a158  ::
 657                       PrelBase.Bool{-34,p-}
 658                   {-# L #-}
 659                   eq4_a158 =
 660                       ==_a1mu
 661                           lit_a1mt lit_a1ms } in
 662                 let {
 663                   eq4_r41  ::
 664                       PrelBase.Bool{-34,p-}
 665                   {-# L #-}
 666                   eq4_r41 =
 667                       eq4_a158 } in
 668                 let {
 669                   lit_a23v  ::
 670                       PrelBase.Int{-3g,p-}
 671                   {-# L #-}
 672                   lit_a23v =
 673                       lit_a1h1 } in
 674                 let {
 675                   eq3_a15w  ::
 676                       PrelBase.Bool{-34,p-}
 677                   {-# L #-}
 678                   eq3_a15w =
 679                       ==_a1mv
 680                           lit_a1h1 lit_a23v } in
 681                 let {
 682                   eq3_r40  ::
 683                       PrelBase.Bool{-34,p-}
 684                   {-# L #-}
 685                   eq3_r40 =
 686                       eq3_a15w } in
 687                 let {
 688                   eq2_a15S  ::
 689                       PrelBase.Bool{-34,p-}
 690                   {-# L #-}
 691                   eq2_a15S =
 692                       ==_a1h7
 693                           lit_a1h5 lit_a1h3 } in
 694                 let {
 695                   eq2_r3Z  ::
 696                       PrelBase.Bool{-34,p-}
 697                   {-# L #-}
 698                   eq2_r3Z =
 699                       eq2_a15S
 700                 } in
 701                   case eq2_r3Z of {
 702                     PrelBase.True{-5E,p-}{i} ->
 703                         PrelBase.[]{-5i,p-}{i}
 704                             _@_ t{-a16h-};
 705                     PrelBase.False{-58,p-}{i} ->
 706                         case eq3_r40 of {
 707                           PrelBase.True{-5E,p-}{i} ->
 708                               let {
 709                                 ds_d24m  ::
 710                                     [t{-a16h-}]
 711                                 {-# L #-}
 712                                 ds_d24m =
 713                                     PrelBase.[]{-5i,p-}{i}
 714                                         {_@_ t{-a16h-}}
 715                               } in
 716                                 PrelBase.:{-55,p-}{i}
 717                                     {_@_ t{-a16h-} x2_a14U ds_d24m};
 718                           PrelBase.False{-58,p-}{i} ->
 719                               case eq4_r41 of {
 720                                 PrelBase.True{-5E,p-}{i} ->
 721                                     let {
 722                                       ds_d24M  ::
 723                                           [t{-a16h-}]
 724                                       {-# L #-}
 725                                       ds_d24M =
 726                                           PrelBase.[]{-5i,p-}{i}
 727                                               {_@_ t{-a16h-}}
 728                                     } in
 729                                       PrelBase.:{-55,p-}{i}
 730                                           {_@_ t{-a16h-} x2_a14U ds_d24M};
 731                                 PrelBase.False{-58,p-}{i} ->
 732                                     PrelBase.[]{-5i,p-}{i}
 733                                         _@_ t{-a16h-};
 734                               };
 735                         };
 736                   }
 737               } in
 738               let {
 739                 fail_d258  ::
 740                     (t{-a16h-}, t{-a16h-}, [t{-a16h-}])
 741                 {-# L #-}
 742                 fail_d258 =
 743                     GHCerr.irrefutPatError{-8g,p-}
 744                         _@_ (t{-a16h-}, t{-a16h-}, [t{-a16h-}])
 745                         _string_ "ds020.hs:39|(x2 PrelBase.: (xs2 PrelBase.: ys2))"
 746               } in
 747                 case ds_d257 of {
 748                   PrelBase.[]{-5i,p-}{i} ->
 749                       fail_d258;
 750                   PrelBase.:{-55,p-}{i} x2_a14U ds_d25l ->
 751                       case ds_d25l of {
 752                         PrelBase.[]{-5i,p-}{i} ->
 753                             fail_d258;
 754                         PrelBase.:{-55,p-}{i} xs2_a14V ys2_a14W ->
 755                             PrelTup.(,,){-63,p-}{i}
 756                                 {_@_ t{-a16h-}
 757                                  _@_ t{-a16h-}
 758                                  _@_ [t{-a16h-}]
 759                                  x2_a14U
 760                                  xs2_a14V
 761                                  ys2_a14W};
 762                       };
 763                 };
 764           x2_a14U  ::
 765               t{-a16h-}
 766           {-# L #-}
 767           x2_a14U =
 768               case
 769                   ds_d22I
 770               of {
 771               PrelTup.(,,){-63,p-}{i} x2_a14U xs2_a14V ys2_a14W  ->
 772               x2_a14U;};
 773           xs2_a14V  ::
 774               t{-a16h-}
 775           {-# L #-}
 776           xs2_a14V =
 777               case
 778                   ds_d22I
 779               of {
 780               PrelTup.(,,){-63,p-}{i} x2_a14U xs2_a14V ys2_a14W  ->
 781               xs2_a14V;};
 782           ys2_a14W  ::
 783               [t{-a16h-}]
 784           {-# L #-}
 785           ys2_a14W =
 786               case
 787                   ds_d22I
 788               of {
 789               PrelTup.(,,){-63,p-}{i} x2_a14U xs2_a14V ys2_a14W  ->
 790               ys2_a14W;};
 791         } in
 792           PrelTup.(,,){-63,p-}{i}
 793               {_@_ t{-a16h-}
 794                _@_ t{-a16h-}
 795                _@_ [t{-a16h-}]
 796                x2_a14U
 797                xs2_a14V
 798                ys2_a14W}
 799 x2{-r4k,x-}  ::
 800     _forall_ [t{-a16h-}] => t{-a16h-}
 801 {-# L #-}
 802 x2{-r4k,x-} =
 803     _/\_ t{-a16h-} ->
 804         case
 805             ds_d1Ra
 806                 _@_ t{-a16h-}
 807         of {
 808         PrelTup.(,,){-63,p-}{i} ds_d26G ds_d26I ds_d26H  ->
 809         ds_d26G;}
 810 xs2{-r4j,x-}  ::
 811     _forall_ [t{-a16h-}] => t{-a16h-}
 812 {-# L #-}
 813 xs2{-r4j,x-} =
 814     _/\_ t{-a16h-} ->
 815         case
 816             ds_d1Ra
 817                 _@_ t{-a16h-}
 818         of {
 819         PrelTup.(,,){-63,p-}{i} ds_d26Z ds_d26X ds_d26Y  ->
 820         ds_d26X;}
 821 ys2{-r4i,x-}  ::
 822     _forall_ [t{-a16h-}] => [t{-a16h-}]
 823 {-# L #-}
 824 ys2{-r4i,x-} =
 825     _/\_ t{-a16h-} ->
 826         case
 827             ds_d1Ra
 828                 _@_ t{-a16h-}
 829         of {
 830         PrelTup.(,,){-63,p-}{i} ds_d27g ds_d27f ds_d27e  ->
 831         ds_d27e;}
 832 ds_d1Rr  ::
 833     _forall_ [t{-a16I-}] => (t{-a16I-}, t{-a16I-}, [t{-a16I-}])
 834 {-# L #-}
 835 ds_d1Rr =
 836     _/\_ t{-a16I-} ->
 837         let { ds_d28P  ::
 838                   (t{-a16I-}, t{-a16I-}, [t{-a16I-}])
 839               {-# L #-}
 840               ds_d28P =
 841           let {
 842             ds_d27Z  ::
 843                 [t{-a16I-}]
 844             {-# L #-}
 845             ds_d27Z =
 846                 PrelBase.[]{-5i,p-}{i}
 847                     _@_ t{-a16I-} } in
 848           let {
 849             fail_d280  ::
 850                 (t{-a16I-}, t{-a16I-}, [t{-a16I-}])
 851             {-# L #-}
 852             fail_d280 =
 853                 GHCerr.irrefutPatError{-8g,p-}
 854                     _@_ (t{-a16I-}, t{-a16I-}, [t{-a16I-}])
 855                     _string_ "ds020.hs:30|(~x PrelBase.: (~xs PrelBase.: ~ys))"
 856           } in
 857             case ds_d27Z of {
 858               PrelBase.[]{-5i,p-}{i} ->
 859                   fail_d280;
 860               PrelBase.:{-55,p-}{i} x_a16u ds_d28d ->
 861                   case ds_d28d of {
 862                     PrelBase.[]{-5i,p-}{i} ->
 863                         fail_d280;
 864                     PrelBase.:{-55,p-}{i} xs_a16v ys_a16w ->
 865                         let {
 866                           ys_a16w  ::
 867                               [t{-a16I-}]
 868                           {-# L #-}
 869                           ys_a16w =
 870                               ys_a16w } in
 871                         let {
 872                           xs_a16v  ::
 873                               t{-a16I-}
 874                           {-# L #-}
 875                           xs_a16v =
 876                               xs_a16v } in
 877                         let {
 878                           x_a16u  ::
 879                               t{-a16I-}
 880                           {-# L #-}
 881                           x_a16u =
 882                               x_a16u
 883                         } in
 884                           PrelTup.(,,){-63,p-}{i}
 885                               {_@_ t{-a16I-}
 886                                _@_ t{-a16I-}
 887                                _@_ [t{-a16I-}]
 888                                x_a16u
 889                                xs_a16v
 890                                ys_a16w};
 891                   };
 892             }
 893         } in
 894         let {
 895           x_a16u  ::
 896               t{-a16I-}
 897           {-# L #-}
 898           x_a16u =
 899               case
 900                   ds_d28P
 901               of {
 902               PrelTup.(,,){-63,p-}{i} x_a16u xs_a16v ys_a16w  ->
 903               x_a16u;} } in
 904         let {
 905           xs_a16v  ::
 906               t{-a16I-}
 907           {-# L #-}
 908           xs_a16v =
 909               case
 910                   ds_d28P
 911               of {
 912               PrelTup.(,,){-63,p-}{i} x_a16u xs_a16v ys_a16w  ->
 913               xs_a16v;} } in
 914         let {
 915           ys_a16w  ::
 916               [t{-a16I-}]
 917           {-# L #-}
 918           ys_a16w =
 919               case
 920                   ds_d28P
 921               of {
 922               PrelTup.(,,){-63,p-}{i} x_a16u xs_a16v ys_a16w  ->
 923               ys_a16w;}
 924         } in
 925           PrelTup.(,,){-63,p-}{i}
 926               {_@_ t{-a16I-}
 927                _@_ t{-a16I-}
 928                _@_ [t{-a16I-}]
 929                x_a16u
 930                xs_a16v
 931                ys_a16w}
 932 x{-r4n,x-}  ::
 933     _forall_ [t{-a16I-}] => t{-a16I-}
 934 {-# L #-}
 935 x{-r4n,x-} =
 936     _/\_ t{-a16I-} ->
 937         case
 938             ds_d1Rr
 939                 _@_ t{-a16I-}
 940         of {
 941         PrelTup.(,,){-63,p-}{i} ds_d29s ds_d29u ds_d29t  ->
 942         ds_d29s;}
 943 xs{-r4m,x-}  ::
 944     _forall_ [t{-a16I-}] => t{-a16I-}
 945 {-# L #-}
 946 xs{-r4m,x-} =
 947     _/\_ t{-a16I-} ->
 948         case
 949             ds_d1Rr
 950                 _@_ t{-a16I-}
 951         of {
 952         PrelTup.(,,){-63,p-}{i} ds_d29L ds_d29J ds_d29K  ->
 953         ds_d29J;}
 954 ys{-r4l,x-}  ::
 955     _forall_ [t{-a16I-}] => [t{-a16I-}]
 956 {-# L #-}
 957 ys{-r4l,x-} =
 958     _/\_ t{-a16I-} ->
 959         case
 960             ds_d1Rr
 961                 _@_ t{-a16I-}
 962         of {
 963         PrelTup.(,,){-63,p-}{i} ds_d2a2 ds_d2a1 ds_d2a0  ->
 964         ds_d2a0;}
 965 ds_d1RI  ::
 966     _forall_ [t{-a16Y-}] => (t{-a16Y-}, t{-a16Y-}, [t{-a16Y-}])
 967 {-# L #-}
 968 ds_d1RI =
 969     _/\_ t{-a16Y-} ->
 970         let { ds_d2bs  ::
 971                   (t{-a16Y-}, t{-a16Y-}, [t{-a16Y-}])
 972               {-# L #-}
 973               ds_d2bs =
 974           let {
 975             ds_d2aL  ::
 976                 [t{-a16Y-}]
 977             {-# L #-}
 978             ds_d2aL =
 979                 PrelBase.[]{-5i,p-}{i}
 980                     _@_ t{-a16Y-} } in
 981           let {
 982             fail_d2aM  ::
 983                 (t{-a16Y-}, t{-a16Y-}, [t{-a16Y-}])
 984             {-# L #-}
 985             fail_d2aM =
 986                 GHCerr.irrefutPatError{-8g,p-}
 987                     _@_ (t{-a16Y-}, t{-a16Y-}, [t{-a16Y-}])
 988                     _string_ "ds020.hs:29|(x1 PrelBase.: (xs1 PrelBase.: ys1))"
 989           } in
 990             case ds_d2aL of {
 991               PrelBase.[]{-5i,p-}{i} ->
 992                   fail_d2aM;
 993               PrelBase.:{-55,p-}{i} x1_a16K ds_d2aZ ->
 994                   case ds_d2aZ of {
 995                     PrelBase.[]{-5i,p-}{i} ->
 996                         fail_d2aM;
 997                     PrelBase.:{-55,p-}{i} xs1_a16L ys1_a16M ->
 998                         PrelTup.(,,){-63,p-}{i}
 999                             {_@_ t{-a16Y-}
1000                              _@_ t{-a16Y-}
1001                              _@_ [t{-a16Y-}]
1002                              x1_a16K
1003                              xs1_a16L
1004                              ys1_a16M};
1005                   };
1006             }
1007         } in
1008         let {
1009           x1_a16K  ::
1010               t{-a16Y-}
1011           {-# L #-}
1012           x1_a16K =
1013               case
1014                   ds_d2bs
1015               of {
1016               PrelTup.(,,){-63,p-}{i} x1_a16K xs1_a16L ys1_a16M  ->
1017               x1_a16K;} } in
1018         let {
1019           xs1_a16L  ::
1020               t{-a16Y-}
1021           {-# L #-}
1022           xs1_a16L =
1023               case
1024                   ds_d2bs
1025               of {
1026               PrelTup.(,,){-63,p-}{i} x1_a16K xs1_a16L ys1_a16M  ->
1027               xs1_a16L;} } in
1028         let {
1029           ys1_a16M  ::
1030               [t{-a16Y-}]
1031           {-# L #-}
1032           ys1_a16M =
1033               case
1034                   ds_d2bs
1035               of {
1036               PrelTup.(,,){-63,p-}{i} x1_a16K xs1_a16L ys1_a16M  ->
1037               ys1_a16M;}
1038         } in
1039           PrelTup.(,,){-63,p-}{i}
1040               {_@_ t{-a16Y-}
1041                _@_ t{-a16Y-}
1042                _@_ [t{-a16Y-}]
1043                x1_a16K
1044                xs1_a16L
1045                ys1_a16M}
1046 x1{-r4q,x-}  ::
1047     _forall_ [t{-a16Y-}] => t{-a16Y-}
1048 {-# L #-}
1049 x1{-r4q,x-} =
1050     _/\_ t{-a16Y-} ->
1051         case
1052             ds_d1RI
1053                 _@_ t{-a16Y-}
1054         of {
1055         PrelTup.(,,){-63,p-}{i} ds_d2c5 ds_d2c7 ds_d2c6  ->
1056         ds_d2c5;}
1057 xs1{-r4p,x-}  ::
1058     _forall_ [t{-a16Y-}] => t{-a16Y-}
1059 {-# L #-}
1060 xs1{-r4p,x-} =
1061     _/\_ t{-a16Y-} ->
1062         case
1063             ds_d1RI
1064                 _@_ t{-a16Y-}
1065         of {
1066         PrelTup.(,,){-63,p-}{i} ds_d2co ds_d2cm ds_d2cn  ->
1067         ds_d2cm;}
1068 ys1{-r4o,x-}  ::
1069     _forall_ [t{-a16Y-}] => [t{-a16Y-}]
1070 {-# L #-}
1071 ys1{-r4o,x-} =
1072     _/\_ t{-a16Y-} ->
1073         case
1074             ds_d1RI
1075                 _@_ t{-a16Y-}
1076         of {
1077         PrelTup.(,,){-63,p-}{i} ds_d2cF ds_d2cE ds_d2cD  ->
1078         ds_d2cD;}
1079 ds_d1RZ  ::
1080     PrelBase.(){-40,p-}
1081 {-# L #-}
1082 ds_d1RZ =
1083     let { ds_d2dp  ::
1084               ([GHC.Void{-3T,p-}], [GHC.Void{-3T,p-}], [GHC.Void{-3T,p-}])
1085           {-# L #-}
1086           ds_d2dp =
1087       let {
1088         ds_d2cZ  ::
1089             [GHC.Void{-3T,p-}]
1090         {-# L #-}
1091         ds_d2cZ =
1092             PrelBase.[]{-5i,p-}{i}
1093                 _@_ GHC.Void{-3T,p-} } in
1094       let {
1095         ds_d2d3  ::
1096             [GHC.Void{-3T,p-}]
1097         {-# L #-}
1098         ds_d2d3 =
1099             PrelBase.[]{-5i,p-}{i}
1100                 _@_ GHC.Void{-3T,p-} } in
1101       let {
1102         ds_d2d7  ::
1103             [GHC.Void{-3T,p-}]
1104         {-# L #-}
1105         ds_d2d7 =
1106             PrelBase.[]{-5i,p-}{i}
1107                 _@_ GHC.Void{-3T,p-}
1108       } in
1109         PrelTup.(,,){-63,p-}{i}
1110             {_@_ [GHC.Void{-3T,p-}]
1111              _@_ [GHC.Void{-3T,p-}]
1112              _@_ [GHC.Void{-3T,p-}]
1113              ds_d2cZ
1114              ds_d2d3
1115              ds_d2d7}
1116     } in
1117     case
1118         ds_d2dp
1119     of {
1120     PrelTup.(,,){-63,p-}{i} ds_d2dQ ds_d2dP ds_d2dO  ->
1121     let { ds_d2eg  ::
1122               PrelBase.(){-40,p-}
1123           {-# L #-}
1124           ds_d2eg =
1125       let {
1126         fail_d2dR  ::
1127             PrelBase.(){-40,p-}
1128         {-# L #-}
1129         fail_d2dR =
1130             GHCerr.irrefutPatError{-8g,p-}
1131                 _@_ PrelBase.(){-40,p-} _string_ "ds020.hs:27|PrelBase.[]"
1132       } in
1133         case ds_d2dO of {
1134           PrelBase.:{-55,p-}{i} ds_d2dZ ds_d2dY ->
1135               fail_d2dR;
1136           PrelBase.[]{-5i,p-}{i} ->
1137               PrelBase.(){-60,p-}{i}
1138                   {};
1139         }
1140     } in
1141     let { ds_d2eG  ::
1142               PrelBase.(){-40,p-}
1143           {-# L #-}
1144           ds_d2eG =
1145       let {
1146         fail_d2eh  ::
1147             PrelBase.(){-40,p-}
1148         {-# L #-}
1149         fail_d2eh =
1150             GHCerr.irrefutPatError{-8g,p-}
1151                 _@_ PrelBase.(){-40,p-} _string_ "ds020.hs:27|PrelBase.[]"
1152       } in
1153         case ds_d2dP of {
1154           PrelBase.:{-55,p-}{i} ds_d2ep ds_d2eo ->
1155               fail_d2eh;
1156           PrelBase.[]{-5i,p-}{i} ->
1157               PrelBase.(){-60,p-}{i}
1158                   {};
1159         }
1160     } in
1161     let { ds_d2uC  ::
1162               PrelBase.(){-40,p-}
1163           {-# L #-}
1164           ds_d2uC =
1165       let {
1166         fail_d2eH  ::
1167             PrelBase.(){-40,p-}
1168         {-# L #-}
1169         fail_d2eH =
1170             GHCerr.irrefutPatError{-8g,p-}
1171                 _@_ PrelBase.(){-40,p-} _string_ "ds020.hs:27|PrelBase.[]"
1172       } in
1173         case ds_d2dQ of {
1174           PrelBase.:{-55,p-}{i} ds_d2eP ds_d2eO ->
1175               fail_d2eH;
1176           PrelBase.[]{-5i,p-}{i} ->
1177               PrelBase.(){-60,p-}{i}
1178                   {};
1179         }
1180     } in
1181     PrelBase.(){-60,p-}{i}
1182         {};}
1183 ds_d1S4  ::
1184     PrelBase.(){-40,p-}
1185 {-# L #-}
1186 ds_d1S4 =
1187     let { ds_d2fM  ::
1188               ([GHC.Void{-3T,p-}], [GHC.Void{-3T,p-}], [GHC.Void{-3T,p-}])
1189           {-# L #-}
1190           ds_d2fM =
1191       let {
1192         ds_d2ff  ::
1193             [GHC.Void{-3T,p-}]
1194         {-# L #-}
1195         ds_d2ff =
1196             PrelBase.[]{-5i,p-}{i}
1197                 _@_ GHC.Void{-3T,p-} } in
1198       let {
1199         ds_d2fj  ::
1200             [GHC.Void{-3T,p-}]
1201         {-# L #-}
1202         ds_d2fj =
1203             PrelBase.[]{-5i,p-}{i}
1204                 _@_ GHC.Void{-3T,p-} } in
1205       let {
1206         ds_d2fn  ::
1207             [GHC.Void{-3T,p-}]
1208         {-# L #-}
1209         ds_d2fn =
1210             PrelBase.[]{-5i,p-}{i}
1211                 _@_ GHC.Void{-3T,p-}
1212       } in
1213         PrelTup.(,,){-63,p-}{i}
1214             {_@_ [GHC.Void{-3T,p-}]
1215              _@_ [GHC.Void{-3T,p-}]
1216              _@_ [GHC.Void{-3T,p-}]
1217              ds_d2ff
1218              ds_d2fj
1219              ds_d2fn}
1220     } in
1221     let {
1222       fail_d2fN  ::
1223           PrelBase.(){-40,p-}
1224       {-# L #-}
1225       fail_d2fN =
1226           GHCerr.irrefutPatError{-8g,p-}
1227               _@_ PrelBase.(){-40,p-}
1228               _string_ "ds020.hs:26|(PrelBase.[], PrelBase.[], PrelBase.[])"
1229     } in
1230       case
1231           ds_d2fM
1232       of {
1233       PrelTup.(,,){-63,p-}{i} ds_d2fW ds_d2fY ds_d2fX  ->
1234       case ds_d2fW of {
1235         PrelBase.:{-55,p-}{i} ds_d2g6 ds_d2g5 ->
1236             fail_d2fN;
1237         PrelBase.[]{-5i,p-}{i} ->
1238             case ds_d2fY of {
1239               PrelBase.:{-55,p-}{i} ds_d2gk ds_d2gj ->
1240                   fail_d2fN;
1241               PrelBase.[]{-5i,p-}{i} ->
1242                   case ds_d2fX of {
1243                     PrelBase.:{-55,p-}{i} ds_d2gy ds_d2gx ->
1244                         fail_d2fN;
1245                     PrelBase.[]{-5i,p-}{i} ->
1246                         PrelBase.(){-60,p-}{i}
1247                             {};
1248                   };
1249             };
1250       };}
1251 g{-r4r,x-}  ::
1252     _forall_ [t{-a17G-} t{-a17I-}] => [t{-a17G-}] -> [t{-a17I-}]
1253 {-# L #-}
1254 g{-r4r,x-} =
1255     _/\_ t{-a17G-} t{-a17I-} -> \ ds_d2ha  ::
1256                                       [t{-a17G-}]
1257                                   {-# L #-}
1258                                   ds_d2ha ->
1259         let { ds_d2uD  ::
1260                   PrelBase.(){-40,p-}
1261               {-# L #-}
1262               ds_d2uD =
1263           let { ds_d2uE  ::
1264                     PrelBase.(){-40,p-}
1265                 {-# L #-}
1266                 ds_d2uE =
1267             let { ds_d2uF  ::
1268                       PrelBase.(){-40,p-}
1269                   {-# L #-}
1270                   ds_d2uF =
1271               let { ds_d2uG  ::
1272                         PrelBase.(){-40,p-}
1273                     {-# L #-}
1274                     ds_d2uG =
1275                 let {
1276                   fail_d2hb  ::
1277                       PrelBase.(){-40,p-}
1278                   {-# L #-}
1279                   fail_d2hb =
1280                       GHCerr.irrefutPatError{-8g,p-}
1281                           _@_ PrelBase.(){-40,p-} _string_ "ds020.hs:22|PrelBase.[]"
1282                 } in
1283                   case ds_d2ha of {
1284                     PrelBase.:{-55,p-}{i} ds_d2hj ds_d2hi ->
1285                         fail_d2hb;
1286                     PrelBase.[]{-5i,p-}{i} ->
1287                         PrelBase.(){-60,p-}{i}
1288                             {};
1289                   }
1290               } in
1291               PrelBase.(){-60,p-}{i}
1292                   {}
1293             } in
1294             PrelBase.(){-60,p-}{i}
1295                 {}
1296           } in
1297           PrelBase.(){-60,p-}{i}
1298               {}
1299         } in
1300         PrelBase.[]{-5i,p-}{i}
1301             _@_ t{-a17I-}
1302 f{-r4s,x-}  ::
1303     _forall_ [t{-a17W-} t{-a17Y-}] => [t{-a17W-}] -> [t{-a17Y-}]
1304 {-# L #-}
1305 f{-r4s,x-} =
1306     _/\_ t{-a17W-} t{-a17Y-} -> \ x_r3U  ::
1307                                       [t{-a17W-}]
1308                                   {-# L #-}
1309                                   x_r3U ->
1310         let { x_r3U  ::
1311                   [t{-a17W-}]
1312               {-# L #-}
1313               x_r3U =
1314           let {
1315             fail_d2hN  ::
1316                 [t{-a17W-}]
1317             {-# L #-}
1318             fail_d2hN =
1319                 GHCerr.irrefutPatError{-8g,p-}
1320                     _@_ [t{-a17W-}] _string_ "ds020.hs:19|(x@PrelBase.[])"
1321           } in
1322             case x_r3U of {
1323               PrelBase.:{-55,p-}{i} ds_d2hV ds_d2hU ->
1324                   fail_d2hN;
1325               PrelBase.[]{-5i,p-}{i} ->
1326                   x_r3U;
1327             }
1328         } in
1329         PrelBase.[]{-5i,p-}{i}
1330             _@_ t{-a17Y-}
1331 d{-r4t,x-}  ::
1332     _forall_
1333     [t{-a18b-} t{-a18D-}]
1334     =>
1335     {PrelBase.Num{-2c,p-} t{-a18b-}}
1336     -> {PrelBase.Num{-2c,p-} t{-a18D-}}
1337     -> {PrelBase.Ord{-2d,p-} t{-a18b-}}
1338     -> t{-a18b-}
1339     -> t{-a18D-}
1340 {-# L #-}
1341 d{-r4t,x-} =
1342     _/\_ t{-a18b-} t{-a18D-} -> \ d.Num_a18H  ::
1343                                       {PrelBase.Num{-2c,p-} t{-a18b-}}
1344                                   {-# L #-}
1345                                   d.Num_a18H d.Num_a18M  ::
1346                                                  {PrelBase.Num{-2c,p-} t{-a18D-}}
1347                                              {-# L #-}
1348                                              d.Num_a18M d.Ord_a18R  ::
1349                                                             {PrelBase.Ord{-2d,p-} t{-a18b-}}
1350                                                         {-# L #-}
1351                                                         d.Ord_a18R ->
1352         let {
1353           d.Eq_a18J  ::
1354               {PrelBase.Eq{-23,p-} t{-a18b-}}
1355           {-# L #-}
1356           d.Eq_a18J =
1357               PrelBase.scsel_OrdPrelBaseEq{-a2jI,p-}
1358                   _@_ t{-a18b-} d.Ord_a18R } in
1359         let {
1360           fromInt_a2jy  ::
1361               PrelBase.Int{-3g,p-} -> t{-a18b-}
1362           {-# L #-}
1363           fromInt_a2jy =
1364               PrelBase.fromInt{-8R,p-}
1365                   _@_ t{-a18b-} d.Num_a18H } in
1366         let { lit_a2jx  ::
1367                   t{-a18b-}
1368               {-# L #-}
1369               lit_a2jx =
1370           let {
1371             ds_d2jX  ::
1372                 PrelBase.Int{-3g,p-}
1373             {-# L #-}
1374             ds_d2jX =
1375                 PrelBase.I#{-5b,p-}{i}
1376                     11
1377           } in
1378             fromInt_a2jy
1379                 ds_d2jX
1380         } in
1381         let {
1382           ==_a2jw  ::
1383               t{-a18b-} -> t{-a18b-} -> PrelBase.Bool{-34,p-}
1384           {-# L #-}
1385           ==_a2jw =
1386               PrelBase.=={-8Y,p-}
1387                   _@_ t{-a18b-} d.Eq_a18J } in
1388         let {
1389           fromInt_a2jv  ::
1390               PrelBase.Int{-3g,p-} -> t{-a18D-}
1391           {-# L #-}
1392           fromInt_a2jv =
1393               PrelBase.fromInt{-8R,p-}
1394                   _@_ t{-a18D-} d.Num_a18M } in
1395         let { lit_a2ju  ::
1396                   t{-a18D-}
1397               {-# L #-}
1398               lit_a2ju =
1399           let {
1400             ds_d2kr  ::
1401                 PrelBase.Int{-3g,p-}
1402             {-# L #-}
1403             ds_d2kr =
1404                 PrelBase.I#{-5b,p-}{i}
1405                     4
1406           } in
1407             fromInt_a2jv
1408                 ds_d2kr
1409         } in
1410         let {
1411           fromInt_a2jt  ::
1412               PrelBase.Int{-3g,p-} -> t{-a18b-}
1413           {-# L #-}
1414           fromInt_a2jt =
1415               fromInt_a2jy } in
1416         let { lit_a2js  ::
1417                   t{-a18b-}
1418               {-# L #-}
1419               lit_a2js =
1420           let {
1421             ds_d2kG  ::
1422                 PrelBase.Int{-3g,p-}
1423             {-# L #-}
1424             ds_d2kG =
1425                 PrelBase.I#{-5b,p-}{i}
1426                     12
1427           } in
1428             fromInt_a2jt
1429                 ds_d2kG
1430         } in
1431         let {
1432           ==_a2jr  ::
1433               t{-a18b-} -> t{-a18b-} -> PrelBase.Bool{-34,p-}
1434           {-# L #-}
1435           ==_a2jr =
1436               ==_a2jw } in
1437         let {
1438           fromInt_a2jq  ::
1439               PrelBase.Int{-3g,p-} -> t{-a18D-}
1440           {-# L #-}
1441           fromInt_a2jq =
1442               fromInt_a2jv } in
1443         let { lit_a2jp  ::
1444                   t{-a18D-}
1445               {-# L #-}
1446               lit_a2jp =
1447           let {
1448             ds_d2kW  ::
1449                 PrelBase.Int{-3g,p-}
1450             {-# L #-}
1451             ds_d2kW =
1452                 PrelBase.I#{-5b,p-}{i}
1453                     3
1454           } in
1455             fromInt_a2jq
1456                 ds_d2kW
1457         } in
1458         let {
1459           fromInt_a2jo  ::
1460               PrelBase.Int{-3g,p-} -> t{-a18b-}
1461           {-# L #-}
1462           fromInt_a2jo =
1463               fromInt_a2jy } in
1464         let { lit_a2jn  ::
1465                   t{-a18b-}
1466               {-# L #-}
1467               lit_a2jn =
1468           let {
1469             ds_d2lb  ::
1470                 PrelBase.Int{-3g,p-}
1471             {-# L #-}
1472             ds_d2lb =
1473                 PrelBase.I#{-5b,p-}{i}
1474                     4
1475           } in
1476             fromInt_a2jo
1477                 ds_d2lb
1478         } in
1479         let {
1480           >=_a2jm  ::
1481               t{-a18b-} -> t{-a18b-} -> PrelBase.Bool{-34,p-}
1482           {-# L #-}
1483           >=_a2jm =
1484               PrelBase.>={-8Z,p-}
1485                   _@_ t{-a18b-} d.Ord_a18R } in
1486         let {
1487           d.Num_a18T  ::
1488               {PrelBase.Num{-2c,p-} t{-a18b-}}
1489           {-# L #-}
1490           d.Num_a18T =
1491               d.Num_a18H } in
1492         let {
1493           -_a2jl  ::
1494               t{-a18b-} -> t{-a18b-} -> t{-a18b-}
1495           {-# L #-}
1496           -_a2jl =
1497               PrelBase.-{-817,p-}
1498                   _@_ t{-a18b-} d.Num_a18T } in
1499         let {
1500           fromInt_a2jk  ::
1501               PrelBase.Int{-3g,p-} -> t{-a18D-}
1502           {-# L #-}
1503           fromInt_a2jk =
1504               fromInt_a2jv } in
1505         let { lit_a2jj  ::
1506                   t{-a18D-}
1507               {-# L #-}
1508               lit_a2jj =
1509           let {
1510             ds_d2lH  ::
1511                 PrelBase.Int{-3g,p-}
1512             {-# L #-}
1513             ds_d2lH =
1514                 PrelBase.I#{-5b,p-}{i}
1515                     2
1516           } in
1517             fromInt_a2jk
1518                 ds_d2lH
1519         } in
1520         let {
1521           fromInt_a2ji  ::
1522               PrelBase.Int{-3g,p-} -> t{-a18b-}
1523           {-# L #-}
1524           fromInt_a2ji =
1525               fromInt_a2jy } in
1526         let { lit_a2jh  ::
1527                   t{-a18b-}
1528               {-# L #-}
1529               lit_a2jh =
1530           let {
1531             ds_d2lW  ::
1532                 PrelBase.Int{-3g,p-}
1533             {-# L #-}
1534             ds_d2lW =
1535                 PrelBase.I#{-5b,p-}{i}
1536                     43
1537           } in
1538             fromInt_a2ji
1539                 ds_d2lW
1540         } in
1541         let {
1542           >=_a2jg  ::
1543               t{-a18b-} -> t{-a18b-} -> PrelBase.Bool{-34,p-}
1544           {-# L #-}
1545           >=_a2jg =
1546               >=_a2jm } in
1547         let {
1548           -_a2jf  ::
1549               t{-a18b-} -> t{-a18b-} -> t{-a18b-}
1550           {-# L #-}
1551           -_a2jf =
1552               -_a2jl } in
1553         let {
1554           fromInt_a2je  ::
1555               PrelBase.Int{-3g,p-} -> t{-a18D-}
1556           {-# L #-}
1557           fromInt_a2je =
1558               fromInt_a2jv } in
1559         let { lit_a2jd  ::
1560                   t{-a18D-}
1561               {-# L #-}
1562               lit_a2jd =
1563           let {
1564             ds_d2md  ::
1565                 PrelBase.Int{-3g,p-}
1566             {-# L #-}
1567             ds_d2md =
1568                 PrelBase.I#{-5b,p-}{i}
1569                     1
1570           } in
1571             fromInt_a2je
1572                 ds_d2md
1573         } in
1574         let {
1575           fromInt_a2jc  ::
1576               PrelBase.Int{-3g,p-} -> t{-a18b-}
1577           {-# L #-}
1578           fromInt_a2jc =
1579               fromInt_a2jy } in
1580         let { lit_a2jb  ::
1581                   t{-a18b-}
1582               {-# L #-}
1583               lit_a2jb =
1584           let {
1585             ds_d2ms  ::
1586                 PrelBase.Int{-3g,p-}
1587             {-# L #-}
1588             ds_d2ms =
1589                 PrelBase.I#{-5b,p-}{i}
1590                     999
1591           } in
1592             fromInt_a2jc
1593                 ds_d2ms
1594         } in
1595         let {
1596           >=_a2ja  ::
1597               t{-a18b-} -> t{-a18b-} -> PrelBase.Bool{-34,p-}
1598           {-# L #-}
1599           >=_a2ja =
1600               >=_a2jm } in
1601         let {
1602           -_a2j9  ::
1603               t{-a18b-} -> t{-a18b-} -> t{-a18b-}
1604           {-# L #-}
1605           -_a2j9 =
1606               -_a2jl } in
1607         let {
1608           fromInt_a2j8  ::
1609               PrelBase.Int{-3g,p-} -> t{-a18D-}
1610           {-# L #-}
1611           fromInt_a2j8 =
1612               fromInt_a2jv } in
1613         let { lit_a2j7  ::
1614                   t{-a18D-}
1615               {-# L #-}
1616               lit_a2j7 =
1617           let {
1618             ds_d2mJ  ::
1619                 PrelBase.Int{-3g,p-}
1620             {-# L #-}
1621             ds_d2mJ =
1622                 PrelBase.I#{-5b,p-}{i}
1623                     0
1624           } in
1625             fromInt_a2j8
1626                 ds_d2mJ
1627         } in
1628         \ ds_d2ng  ::
1629               t{-a18b-}
1630           {-# L #-}
1631           ds_d2ng ->
1632             let { fail_d2o7  ::
1633                       t{-a18D-}
1634                   {-# L #-}
1635                   fail_d2o7 =
1636               let { ds_d2n0  ::
1637                         PrelBase.(){-40,p-}
1638                     {-# L #-}
1639                     ds_d2n0 =
1640                 let {
1641                   fail_d2nt  ::
1642                       PrelBase.(){-40,p-}
1643                   {-# L #-}
1644                   fail_d2nt =
1645                       GHCerr.irrefutPatError{-8g,p-}
1646                           _@_ PrelBase.(){-40,p-} _string_ "ds020.hs:13|(n+4)"
1647                 } in
1648                   case
1649                       (\ ds_d2nn  ::
1650                              t{-a18b-}
1651                          {-# L #-}
1652                          ds_d2nn ->
1653                            >=_a2jm
1654                                ds_d2nn lit_a2jn)
1655                           ds_d2ng
1656                   of {
1657                     PrelBase.True{-5E,p-}{i} ->
1658                         let {
1659                           n_r3O  ::
1660                               t{-a18b-}
1661                           {-# L #-}
1662                           n_r3O =
1663                               (\ ds_d2nM  ::
1664                                      t{-a18b-}
1665                                  {-# L #-}
1666                                  ds_d2nM ->
1667                                    -_a2jl
1668                                        ds_d2nM lit_a2jn)
1669                                   ds_d2ng
1670                         } in
1671                           PrelBase.(){-60,p-}{i}
1672                               {};
1673                     PrelBase.False{-58,p-}{i} ->
1674                         fail_d2nt;
1675                   }
1676               } in
1677               lit_a2jj
1678             } in
1679             let {
1680               fail_d2or  ::
1681                   t{-a18D-}
1682               {-# L #-}
1683               fail_d2or =
1684                   case
1685                       ==_a2jr
1686                           lit_a2js ds_d2ng
1687                   of {
1688                     PrelBase.True{-5E,p-}{i} ->
1689                         lit_a2jp;
1690                     PrelBase.False{-58,p-}{i} ->
1691                         fail_d2o7;
1692                   }
1693             } in
1694               case
1695                   ==_a2jw
1696                       lit_a2jx ds_d2ng
1697               of {
1698                 PrelBase.True{-5E,p-}{i} ->
1699                     lit_a2ju;
1700                 PrelBase.False{-58,p-}{i} ->
1701                     fail_d2or;
1702               }
1703 c{-r4u,x-}  ::
1704     _forall_
1705     [t{-a19h-} t{-a19j-} t{-a199-} t{-a19d-}]
1706     =>
1707     {PrelNum.Fractional{-26,p-} t{-a19d-}}
1708     -> {PrelBase.Num{-2c,p-} t{-a199-}}
1709     -> t{-a19h-}
1710     -> t{-a19j-}
1711     -> t{-a199-}
1712     -> t{-a19d-}
1713     -> t{-a19h-}
1714 {-# L #-}
1715 c{-r4u,x-} =
1716     _/\_ t{-a19h-} t{-a19j-} t{-a199-} t{-a19d-} -> \ d.Fractional_a19r  ::
1717                                                           {PrelNum.Fractional{-26,p-} t{-a19d-}}
1718                                                       {-# L #-}
1719                                                       d.Fractional_a19r d.Num_a19m  ::
1720                                                                             {PrelBase.Num{-2c,p-} t{-a199-}}
1721                                                                         {-# L #-}
1722                                                                         d.Num_a19m ->
1723         let {
1724           d.Eq_a19o  ::
1725               {PrelBase.Eq{-23,p-} t{-a199-}}
1726           {-# L #-}
1727           d.Eq_a19o =
1728               PrelBase.scsel_NumPrelBaseEq{-a2pi,p-}
1729                   _@_ t{-a199-} d.Num_a19m } in
1730         let {
1731           d.Num_a1b5  ::
1732               {PrelBase.Num{-2c,p-} t{-a19d-}}
1733           {-# L #-}
1734           d.Num_a1b5 =
1735               PrelNum.scsel_FractionalPrelBaseNum{-a2pr,p-}
1736                   _@_ t{-a19d-} d.Fractional_a19r } in
1737         let {
1738           d.Eq_a19t  ::
1739               {PrelBase.Eq{-23,p-} t{-a19d-}}
1740           {-# L #-}
1741           d.Eq_a19t =
1742               PrelBase.scsel_NumPrelBaseEq{-a2pi,p-}
1743                   _@_ t{-a19d-} d.Num_a1b5 } in
1744         let {
1745           fromInt_a2p8  ::
1746               PrelBase.Int{-3g,p-} -> t{-a199-}
1747           {-# L #-}
1748           fromInt_a2p8 =
1749               PrelBase.fromInt{-8R,p-}
1750                   _@_ t{-a199-} d.Num_a19m } in
1751         let { lit_a2p7  ::
1752                   t{-a199-}
1753               {-# L #-}
1754               lit_a2p7 =
1755           let {
1756             ds_d2pO  ::
1757                 PrelBase.Int{-3g,p-}
1758             {-# L #-}
1759             ds_d2pO =
1760                 PrelBase.I#{-5b,p-}{i}
1761                     11111
1762           } in
1763             fromInt_a2p8
1764                 ds_d2pO
1765         } in
1766         let {
1767           ==_a2p6  ::
1768               t{-a199-} -> t{-a199-} -> PrelBase.Bool{-34,p-}
1769           {-# L #-}
1770           ==_a2p6 =
1771               PrelBase.=={-8Y,p-}
1772                   _@_ t{-a199-} d.Eq_a19o } in
1773         let {
1774           fromRational_a2p5  ::
1775               PrelNum.Rational{-3r,p-} -> t{-a19d-}
1776           {-# L #-}
1777           fromRational_a2p5 =
1778               PrelNum.fromRational{-8T,p-}
1779                   _@_ t{-a19d-} d.Fractional_a19r } in
1780         let {
1781           lit_a2p4  ::
1782               t{-a19d-}
1783           {-# L #-}
1784           lit_a2p4 =
1785               fromRational_a2p5
1786                   _rational_  62831853 20000000 } in
1787         let {
1788           ==_a2p3  ::
1789               t{-a19d-} -> t{-a19d-} -> PrelBase.Bool{-34,p-}
1790           {-# L #-}
1791           ==_a2p3 =
1792               PrelBase.=={-8Y,p-}
1793                   _@_ t{-a19d-} d.Eq_a19t
1794         } in
1795           \ x_r3H  ::
1796                 t{-a19h-}
1797             {-# L #-}
1798             x_r3H ds_d2qY  ::
1799                       t{-a19j-}
1800                   {-# L #-}
1801                   ds_d2qY ds_d2qZ  ::
1802                               t{-a199-}
1803                           {-# L #-}
1804                           ds_d2qZ ds_d2qV  ::
1805                                       t{-a19d-}
1806                                   {-# L #-}
1807                                   ds_d2qV ->
1808               let { ds_d2rv  ::
1809                         PrelBase.(){-40,p-}
1810                     {-# L #-}
1811                     ds_d2rv =
1812                 let {
1813                   fail_d2r0  ::
1814                       PrelBase.(){-40,p-}
1815                   {-# L #-}
1816                   fail_d2r0 =
1817                       GHCerr.irrefutPatError{-8g,p-}
1818                           _@_ PrelBase.(){-40,p-} _string_ "ds020.hs:11|3.1415926500000002"
1819                 } in
1820                   case
1821                       ==_a2p3
1822                           lit_a2p4 ds_d2qV
1823                   of {
1824                     PrelBase.True{-5E,p-}{i} ->
1825                         PrelBase.(){-60,p-}{i}
1826                             {};
1827                     PrelBase.False{-58,p-}{i} ->
1828                         fail_d2r0;
1829                   }
1830               } in
1831               let { ds_d2rI  ::
1832                         PrelBase.(){-40,p-}
1833                     {-# L #-}
1834                     ds_d2rI =
1835                 let {
1836                   fail_d2rw  ::
1837                       PrelBase.(){-40,p-}
1838                   {-# L #-}
1839                   fail_d2rw =
1840                       GHCerr.irrefutPatError{-8g,p-}
1841                           _@_ PrelBase.(){-40,p-} _string_ "ds020.hs:11|11111"
1842                 } in
1843                   case
1844                       ==_a2p6
1845                           lit_a2p7 ds_d2qZ
1846                   of {
1847                     PrelBase.True{-5E,p-}{i} ->
1848                         PrelBase.(){-60,p-}{i}
1849                             {};
1850                     PrelBase.False{-58,p-}{i} ->
1851                         fail_d2rw;
1852                   }
1853               } in
1854               let {
1855                 ds_d2qC  ::
1856                     PrelBase.(){-40,p-}
1857                 {-# L #-}
1858                 ds_d2qC =
1859                     PrelBase.(){-60,p-}{i}
1860                         {}
1861               } in
1862                 x_r3H
1863 b{-r4v,x-}  ::
1864     _forall_ [t{-a19Q-} t{-a19X-}] => [t{-a19Q-}] -> [t{-a19X-}]
1865 {-# L #-}
1866 b{-r4v,x-} =
1867     _/\_ t{-a19Q-} t{-a19X-} -> \ ds_d2sd  ::
1868                                       [t{-a19Q-}]
1869                                   {-# L #-}
1870                                   ds_d2sd ->
1871         let { ds_d2sU  ::
1872                   (t{-a19Q-}, t{-a19Q-}, [t{-a19Q-}])
1873               {-# L #-}
1874               ds_d2sU =
1875           let {
1876             fail_d2se  ::
1877                 (t{-a19Q-}, t{-a19Q-}, [t{-a19Q-}])
1878             {-# L #-}
1879             fail_d2se =
1880                 GHCerr.irrefutPatError{-8g,p-}
1881                     _@_ (t{-a19Q-}, t{-a19Q-}, [t{-a19Q-}])
1882                     _string_ "ds020.hs:8|(x PrelBase.: (xs PrelBase.: ys))"
1883           } in
1884             case ds_d2sd of {
1885               PrelBase.[]{-5i,p-}{i} ->
1886                   fail_d2se;
1887               PrelBase.:{-55,p-}{i} x_r3z ds_d2sr ->
1888                   case ds_d2sr of {
1889                     PrelBase.[]{-5i,p-}{i} ->
1890                         fail_d2se;
1891                     PrelBase.:{-55,p-}{i} xs_r3A ys_r3B ->
1892                         PrelTup.(,,){-63,p-}{i}
1893                             {_@_ t{-a19Q-} _@_ t{-a19Q-} _@_ [t{-a19Q-}] x_r3z xs_r3A ys_r3B};
1894                   };
1895             }
1896         } in
1897         let {
1898           x_r3z  ::
1899               t{-a19Q-}
1900           {-# L #-}
1901           x_r3z =
1902               case ds_d2sU of { PrelTup.(,,){-63,p-}{i} x_r3z xs_r3A ys_r3B  ->
1903               x_r3z;} } in
1904         let {
1905           xs_r3A  ::
1906               t{-a19Q-}
1907           {-# L #-}
1908           xs_r3A =
1909               case ds_d2sU of { PrelTup.(,,){-63,p-}{i} x_r3z xs_r3A ys_r3B  ->
1910               xs_r3A;} } in
1911         let {
1912           ys_r3B  ::
1913               [t{-a19Q-}]
1914           {-# L #-}
1915           ys_r3B =
1916               case ds_d2sU of { PrelTup.(,,){-63,p-}{i} x_r3z xs_r3A ys_r3B  ->
1917               ys_r3B;}
1918         } in
1919           PrelBase.[]{-5i,p-}{i}
1920               _@_ t{-a19X-}
1921 a{-r4w,x-}  ::
1922     _forall_
1923     [t{-a1al-} t{-a1ao-} t{-a1ar-} t{-a1at-}]
1924     =>
1925     ([t{-a1al-}], [t{-a1ao-}], [t{-a1ar-}]) -> [t{-a1at-}]
1926 {-# L #-}
1927 a{-r4w,x-} =
1928     _/\_ t{-a1al-} t{-a1ao-} t{-a1ar-} t{-a1at-} -> \ ds_d2tK  ::
1929                                                           ([t{-a1al-}], [t{-a1ao-}], [t{-a1ar-}])
1930                                                       {-# L #-}
1931                                                       ds_d2tK ->
1932         let { ds_d2uH  ::
1933                   PrelBase.(){-40,p-}
1934               {-# L #-}
1935               ds_d2uH =
1936           let {
1937             fail_d2tL  ::
1938                 PrelBase.(){-40,p-}
1939             {-# L #-}
1940             fail_d2tL =
1941                 GHCerr.irrefutPatError{-8g,p-}
1942                     _@_ PrelBase.(){-40,p-}
1943                     _string_ "ds020.hs:5|(PrelBase.[], PrelBase.[], PrelBase.[])"
1944           } in
1945             case
1946                 ds_d2tK
1947             of {
1948             PrelTup.(,,){-63,p-}{i} ds_d2tU ds_d2tW ds_d2tV  ->
1949             case ds_d2tU of {
1950               PrelBase.:{-55,p-}{i} ds_d2u4 ds_d2u3 ->
1951                   fail_d2tL;
1952               PrelBase.[]{-5i,p-}{i} ->
1953                   case ds_d2tW of {
1954                     PrelBase.:{-55,p-}{i} ds_d2ui ds_d2uh ->
1955                         fail_d2tL;
1956                     PrelBase.[]{-5i,p-}{i} ->
1957                         case ds_d2tV of {
1958                           PrelBase.:{-55,p-}{i} ds_d2uw ds_d2uv ->
1959                               fail_d2tL;
1960                           PrelBase.[]{-5i,p-}{i} ->
1961                               PrelBase.(){-60,p-}{i}
1962                                   {};
1963                         };
1964                   };
1965             };}
1966         } in
1967         PrelBase.[]{-5i,p-}{i}
1968             _@_ t{-a1at-}
1969 end Rec }