ghc/tests/printing/should_compile/Print002.stderr

   1
   2 ==================== Typechecked ====================
   3 Print002.MkFoo1{-rz,x-} =
   4     \ a{-rsQ-} b{-rsR-} c{-rsS-} tpl_B1 tpl_B2 ->
   5         Print002.MkFoo1{-rz,x-} {__a a{-rsQ-}
   6                                  __a b{-rsR-}
   7                                  __a c{-rsS-}
   8                                  tpl_B1
   9                                  tpl_B2}
  10 Print002.:##{-rB,x-} =
  11     \ a{-rsQ-} b{-rsR-} c{-rsS-} tpl_B1 tpl_B2 ->
  12         Print002.:##{-rB,x-} {__a a{-rsQ-}
  13                               __a b{-rsR-}
  14                               __a c{-rsS-}
  15                               tpl_B1
  16                               tpl_B2}
  17 Print002.MkFoo3{-rD,x-} =
  18     \ a{-rsQ-} b{-rsR-} c{-rsS-} tpl_B1 tpl_B2 ->
  19         Print002.MkFoo3{-rD,x-} {__a a{-rsQ-}
  20                                  __a b{-rsR-}
  21                                  __a c{-rsS-}
  22                                  tpl_B1
  23                                  tpl_B2}
  24 Print002.:***{-rF,x-} =
  25     \ a{-rsQ-} b{-rsR-} c{-rsS-} tpl_B1 tpl_B2 ->
  26         Print002.:***{-rF,x-} {__a a{-rsQ-}
  27                                __a b{-rsR-}
  28                                __a c{-rsS-}
  29                                tpl_B1
  30                                tpl_B2}
  31 AbsBinds
  32 [a{-a11K-}]
  33 [_dBar{-a11R-}]
  34 [([a{-a11K-}], Print002.f3d{-rl,x-}, f3d{-a11O-})]
  35     /////{-a1gB-} = Print002./////{-rt,x-} a{-a11K-} _dBar{-a11R-}
  36     f3d{-a11O-} x{-a11H-} y{-a11M-} = x{-a11H-} /////{-a1gB-} y{-a11M-}
  37 AbsBinds
  38 [a{-a12d-}]
  39 [_dBar{-a12k-}]
  40 [([a{-a12d-}], Print002.f3c{-rj,x-}, f3c{-a12h-})]
  41     /////{-a1gC-} = Print002./////{-rt,x-} a{-a12d-} _dBar{-a12k-}
  42     f3c{-a12h-} x{-a12a-} y{-a12f-} = /////{-a1gC-} x{-a12a-} y{-a12f-}
  43 AbsBinds
  44 [a{-a12G-}]
  45 [_dBar{-a12N-}]
  46 [([a{-a12G-}], Print002.f3b{-rh,x-}, f3b{-a12K-})]
  47     meth1{-a1gD-} = Print002.meth1{-rv,x-} a{-a12G-} _dBar{-a12N-}
  48     f3b{-a12K-} x{-a12D-} y{-a12I-}
  49                   = x{-a12D-} `meth1{-a1gD-}` y{-a12I-}
  50 AbsBinds
  51 [a{-a139-}]
  52 [_dBar{-a13g-}]
  53 [([a{-a139-}], Print002.f3a{-rf,x-}, f3a{-a13d-})]
  54     meth1{-a1gE-} = Print002.meth1{-rv,x-} a{-a139-} _dBar{-a13g-}
  55     f3a{-a13d-} x{-a136-} y{-a13b-} = meth1{-a1gE-} x{-a136-} y{-a13b-}
  56 AbsBinds
  57 [a{-a13N-}, b{-a13P-}, c{-a13R-}]
  58 []
  59 [([a{-a13N-}, b{-a13P-}, c{-a13R-}],
  60   Print002.<<<<{-rd,x-},
  61   <<<<{-a13U-})]
  62     <<<<{-a13U-} x{-a13G-} y{-a13I-}
  63                    = Print002.:***{-rF,x-} [a{-a13N-}, b{-a13P-}, c{-a13R-}]
  64                          x{-a13G-} y{-a13I-}
  65     <<<<{-a13U-} x{-a13S-} y{-a13T-}
  66                    = Print002.:***{-rF,x-} [a{-a13N-}, b{-a13P-}, c{-a13R-}] x{-a13S-}
  67                                                                              y{-a13T-}
  68 AbsBinds
  69 [a{-a14f-}, b{-a14h-}, c{-a14j-}]
  70 []
  71 [([a{-a14f-}, b{-a14h-}, c{-a14j-}],
  72   Print002......{-rb,x-},
  73   .....{-a14o-})]
  74     .....{-a14o-} x{-a14k-} y{-a14m-}
  75                     = Print002.MkFoo3{-rD,x-} [a{-a14f-}, b{-a14h-}, c{-a14j-}]
  76                           x{-a14k-} y{-a14m-}
  77 AbsBinds
  78 [a{-a14J-}, b{-a14L-}, c{-a14N-}]
  79 []
  80 [([a{-a14J-}, b{-a14L-}, c{-a14N-}],
  81   Print002.....{-r9,x-},
  82   ....{-a14S-})]
  83     ....{-a14S-} x{-a14O-} y{-a14Q-}
  84                    = Print002.MkFoo3{-rD,x-}
  85                          [a{-a14J-}, b{-a14L-}, c{-a14N-}] x{-a14O-} y{-a14Q-}
  86 AbsBinds
  87 [a{-a15d-}, b{-a15f-}, c{-a15h-}]
  88 []
  89 [([a{-a15d-}, b{-a15f-}, c{-a15h-}],
  90   Print002.f2a{-r7,x-},
  91   f2a{-a15m-})]
  92     f2a{-a15m-} x{-a15i-} y{-a15k-}
  93                   = Print002.:##{-rB,x-} [a{-a15d-}, b{-a15f-}, c{-a15h-}]
  94                         x{-a15i-} y{-a15k-}
  95 AbsBinds
  96 [a{-a15H-}, b{-a15J-}, c{-a15L-}]
  97 []
  98 [([a{-a15H-}, b{-a15J-}, c{-a15L-}],
  99   Print002.f2{-r5,x-},
 100   f2{-a15Q-})]
 101     f2{-a15Q-} x{-a15M-} y{-a15O-}
 102                  = Print002.:##{-rB,x-} [a{-a15H-}, b{-a15J-}, c{-a15L-}] x{-a15M-}
 103                                                                           y{-a15O-}
 104 AbsBinds
 105 [a{-a16b-}, b{-a16d-}, c{-a16f-}]
 106 []
 107 [([a{-a16b-}, b{-a16d-}, c{-a16f-}],
 108   Print002.f1a{-r3,x-},
 109   f1a{-a16k-})]
 110     f1a{-a16k-} x{-a16g-} y{-a16i-}
 111                   = Print002.MkFoo1{-rz,x-}
 112                         [a{-a16b-}, b{-a16d-}, c{-a16f-}] x{-a16g-} y{-a16i-}
 113 AbsBinds
 114 [a{-a16F-}, b{-a16H-}, c{-a16J-}]
 115 []
 116 [([a{-a16F-}, b{-a16H-}, c{-a16J-}],
 117   Print002.f1{-r1,x-},
 118   f1{-a16O-})]
 119     f1{-a16O-} x{-a16K-} y{-a16M-}
 120                  = Print002.MkFoo1{-rz,x-} [a{-a16F-}, b{-a16H-}, c{-a16J-}]
 121                        x{-a16K-} y{-a16M-}
 122 AbsBinds
 123 [a{-a17m-}, b{-a17o-}, c{-a17q-}]
 124 []
 125 [([a{-a17m-}, b{-a17o-}, c{-a17q-}],
 126   con2tag_Foo#{-rXU-},
 127   con2tag_Foo#{-a17r-})]
 128     con2tag_Foo#{-a17r-} (Print002.MkFoo1{-rz,x-} _ _) = 0#
 129     con2tag_Foo#{-a17r-} (Print002.:##{-rB,x-} _ _) = 1#
 130     con2tag_Foo#{-a17r-} (Print002.MkFoo3{-rD,x-} _ _) = 2#
 131     con2tag_Foo#{-a17r-} (Print002.:***{-rF,x-} _ _) = 3#
 132 AbsBinds
 133 [a{-a19v-}, b{-a19x-}, c{-a19z-}]
 134 [_dEq{-a19R-}, _dEq{-a19S-}, _dEq{-a19T-}]
 135 [([a{-a19v-}, b{-a19x-}, c{-a19z-}],
 136   Print002._fEqFoo{-r17s,x-},
 137   _dEq{-a17C-})]
 138     =={-a1gN-} = =={-a17U-}
 139     =={-a1gL-} = PrelBase.=={-01L,i-} c{-a19z-} _dEq{-a19Z-}
 140     =={-a1gM-} = =={-a1gL-}
 141     =={-a1gK-} = =={-a1gL-}
 142     =={-a1gI-} = PrelBase.=={-01L,i-} b{-a19x-} _dEq{-a19X-}
 143     =={-a1gJ-} = =={-a1gI-}
 144     =={-a1gH-} = =={-a1gI-}
 145     =={-a1gG-} = PrelBase.=={-01L,i-} a{-a19v-} _dEq{-a19V-}
 146     =={-a1gF-} = =={-a1gG-}
 147     _dEq{-a19Z-} = _dEq{-a19T-}
 148     _dEq{-a19X-} = _dEq{-a19S-}
 149     _dEq{-a19V-} = _dEq{-a19R-}
 150     AbsBinds [] [] [([], /={-a17E-}, /={-a17G-})]
 151         /={-a17G-} a{-a17N-} b{-a17R-}
 152                      = PrelBase.not{-rIN,i-} =={-a1gN-} a{-a17N-} b{-a17R-}
 153     AbsBinds [] [] [([], =={-a17U-}, =={-a17W-})]
 154         =={-a17W-} (Print002.MkFoo1{-rz,x-} a1{-a18e-} a2{-a18l-})
 155                    (Print002.MkFoo1{-rz,x-} b1{-a18k-} b2{-a18p-})
 156                      = (a1{-a18e-} =={-a1gG-} b1{-a18k-})
 157                        PrelBase.&&{-rrR,i-} (a2{-a18l-} =={-a1gF-} b2{-a18p-})
 158         =={-a17W-} (Print002.:##{-rB,x-} a1{-a18G-} a2{-a18N-})
 159                    (Print002.:##{-rB,x-} b1{-a18M-} b2{-a18R-})
 160                      = (a1{-a18G-} =={-a1gI-} b1{-a18M-})
 161                        PrelBase.&&{-rrR,i-} (a2{-a18N-} =={-a1gL-} b2{-a18R-})
 162         =={-a17W-} (Print002.MkFoo3{-rD,x-} a1{-a198-} a2{-a19f-})
 163                    (Print002.MkFoo3{-rD,x-} b1{-a19e-} b2{-a19j-})
 164                      = (a1{-a198-} =={-a1gJ-} b1{-a19e-})
 165                        PrelBase.&&{-rrR,i-} (a2{-a19f-} =={-a1gH-} b2{-a19j-})
 166         =={-a17W-} (Print002.:***{-rF,x-} a1{-a19A-} a2{-a19H-})
 167                    (Print002.:***{-rF,x-} b1{-a19G-} b2{-a19L-})
 168                      = (a1{-a19A-} =={-a1gM-} b1{-a19G-})
 169                        PrelBase.&&{-rrR,i-} (a2{-a19H-} =={-a1gK-} b2{-a19L-})
 170         =={-a17W-} a{-a19O-} b{-a19Q-} = PrelBase.False{-65,w-}
 171     _dEq{-a17C-} =
 172         PrelBase._DEq{-rJI,i-}
 173             (Print002.Foo{-rx,x-} a{-a19v-} b{-a19x-} c{-a19z-}) /={-a17E-}
 174                                                                  =={-a17U-}
 175 AbsBinds
 176 [a{-a1ai-}, b{-a1aj-}, c{-a1ak-}]
 177 [_dOrd{-a1g7-}, _dOrd{-a1g9-}, _dOrd{-a1ga-}, _dEq{-a1gb-}]
 178 [([a{-a1ai-}, b{-a1aj-}, c{-a1ak-}],
 179   Print002._fOrdFoo{-r1a3,x-},
 180   _dOrd{-a1ab-})]
 181     compare{-a1gT-} = compare{-a1cc-}
 182     compare{-a1gS-} = compare{-a1cc-}
 183     compare{-a1gR-} = compare{-a1cc-}
 184     compare{-a1gQ-} = compare{-a1cc-}
 185     compare{-a1gP-} = compare{-a1cc-}
 186     compare{-a1gO-} = compare{-a1cc-}
 187     _dOrd{-a1g4-} = _dOrd{-a1ga-}
 188     _dOrd{-a1g5-} = _dOrd{-a1g9-}
 189     _dOrd{-a1g6-} = _dOrd{-a1g7-}
 190     _dEq{-a1g8-} = _dEq{-a1gb-}
 191     AbsBinds [] [] [([], min{-a1ad-}, min{-a1af-})]
 192         min{-a1af-} a{-a1ar-} b{-a1as-}
 193                       = case compare{-a1gT-} a{-a1ar-} b{-a1as-} of
 194                           PrelBase.LT{-rJk,i-} -> a{-a1ar-}
 195                           PrelBase.EQ{-rsT,i-} -> b{-a1as-}
 196                           PrelBase.GT{-rJl,i-} -> b{-a1as-}
 197     AbsBinds [] [] [([], max{-a1aA-}, max{-a1aC-})]
 198         max{-a1aC-} a{-a1aM-} b{-a1aL-}
 199                       = case compare{-a1gS-} a{-a1aM-} b{-a1aL-} of
 200                           PrelBase.LT{-rJk,i-} -> b{-a1aL-}
 201                           PrelBase.EQ{-rsT,i-} -> a{-a1aM-}
 202                           PrelBase.GT{-rJl,i-} -> a{-a1aM-}
 203     AbsBinds [] [] [([], >{-a1aU-}, >{-a1aW-})]
 204         >{-a1aW-} a{-a1b5-} b{-a1bb-}
 205                     = case compare{-a1gR-} a{-a1b5-} b{-a1bb-} of
 206                         PrelBase.LT{-rJk,i-} -> PrelBase.False{-65,w-}
 207                         PrelBase.EQ{-rsT,i-} -> PrelBase.False{-65,w-}
 208                         PrelBase.GT{-rJl,i-} -> PrelBase.True{-6y,w-}
 209     AbsBinds [] [] [([], >={-a1be-}, >={-a1bg-})]
 210         >={-a1bg-} a{-a1bp-} b{-a1bv-}
 211                      = case compare{-a1gQ-} a{-a1bp-} b{-a1bv-} of
 212                          PrelBase.LT{-rJk,i-} -> PrelBase.False{-65,w-}
 213                          PrelBase.EQ{-rsT,i-} -> PrelBase.True{-6y,w-}
 214                          PrelBase.GT{-rJl,i-} -> PrelBase.True{-6y,w-}
 215     AbsBinds [] [] [([], <={-a1by-}, <={-a1bA-})]
 216         <={-a1bA-} a{-a1bJ-} b{-a1bP-}
 217                      = case compare{-a1gP-} a{-a1bJ-} b{-a1bP-} of
 218                          PrelBase.LT{-rJk,i-} -> PrelBase.True{-6y,w-}
 219                          PrelBase.EQ{-rsT,i-} -> PrelBase.True{-6y,w-}
 220                          PrelBase.GT{-rJl,i-} -> PrelBase.False{-65,w-}
 221     AbsBinds [] [] [([], <{-a1bS-}, <{-a1bU-})]
 222         <{-a1bU-} a{-a1c3-} b{-a1c9-}
 223                     = case compare{-a1gO-} a{-a1c3-} b{-a1c9-} of
 224                         PrelBase.LT{-rJk,i-} -> PrelBase.True{-6y,w-}
 225                         PrelBase.EQ{-rsT,i-} -> PrelBase.False{-65,w-}
 226                         PrelBase.GT{-rJl,i-} -> PrelBase.False{-65,w-}
 227     AbsBinds [] [] [([], compare{-a1cc-}, compare{-a1ce-})]
 228         compare{-a1ce-} a{-a1fm-} b{-a1fn-}
 229                           = case
 230                                 con2tag_Foo#{-rXU-} [a{-a1ai-}, b{-a1aj-}, c{-a1ak-}] a{-a1fm-}
 231                             of
 232                               a#{-a1fB-}
 233                                 -> case
 234                                        con2tag_Foo#{-rXU-}
 235                                            [a{-a1ai-}, b{-a1aj-}, c{-a1ak-}] b{-a1fn-}
 236                                    of
 237                                      b#{-a1fH-}
 238                                        -> if a#{-a1fB-} PrelGHC.==#{-99,w-} b#{-a1fH-} then
 239                                               cmp_eq{-a1h2-} a{-a1fm-} b{-a1fn-}
 240                                           else
 241                                               if a#{-a1fB-} PrelGHC.<#{-9b,w-} b#{-a1fH-} then
 242                                                   PrelBase.LT{-rJk,i-}
 243                                               else
 244                                                   PrelBase.GT{-rJl,i-}
 245                           where
 246                               {- nonrec -}
 247                               AbsBinds
 248                               [a{-a1eO-}, b{-a1eQ-}, c{-a1eS-}]
 249                               [_dOrd{-a1fw-}, _dOrd{-a1ft-}, _dOrd{-a1fq-}]
 250                               [([a{-a1eO-}, b{-a1eQ-}, c{-a1eS-}],
 251                                 cmp_eq{-rZE-},
 252                                 cmp_eq{-a1fo-})]
 253                                   compare{-a1h0-} =
 254                                       PrelBase.compare{-rJt,i-} c{-a1eS-} _dOrd{-a1fw-}
 255                                   compare{-a1h1-} = compare{-a1h0-}
 256                                   compare{-a1gZ-} = compare{-a1h0-}
 257                                   compare{-a1gX-} =
 258                                       PrelBase.compare{-rJt,i-} b{-a1eQ-} _dOrd{-a1ft-}
 259                                   compare{-a1gY-} = compare{-a1gX-}
 260                                   compare{-a1gW-} = compare{-a1gX-}
 261                                   compare{-a1gV-} =
 262                                       PrelBase.compare{-rJt,i-} a{-a1eO-} _dOrd{-a1fq-}
 263                                   compare{-a1gU-} = compare{-a1gV-}
 264                                   cmp_eq{-a1fo-} (Print002.MkFoo1{-rz,x-} a1{-a1db-} a2{-a1d4-})
 265                                                  (Print002.MkFoo1{-rz,x-} b1{-a1dg-} b2{-a1da-})
 266                                                    = case compare{-a1gV-} a1{-a1db-} b1{-a1dg-} of
 267                                                        PrelBase.LT{-rJk,i-} -> PrelBase.LT{-rJk,i-}
 268                                                        PrelBase.EQ{-rsT,i-}
 269                                                          -> case
 270                                                                 compare{-a1gU-} a2{-a1d4-}
 271                                                                                 b2{-a1da-}
 272                                                             of
 273                                                               PrelBase.LT{-rJk,i-}
 274                                                                 -> PrelBase.LT{-rJk,i-}
 275                                                               PrelBase.EQ{-rsT,i-}
 276                                                                 -> PrelBase.EQ{-rsT,i-}
 277                                                               PrelBase.GT{-rJl,i-}
 278                                                                 -> PrelBase.GT{-rJl,i-}
 279                                                        PrelBase.GT{-rJl,i-} -> PrelBase.GT{-rJl,i-}
 280                                   cmp_eq{-a1fo-} (Print002.:##{-rB,x-} a1{-a1dR-} a2{-a1dK-})
 281                                                  (Print002.:##{-rB,x-} b1{-a1dW-} b2{-a1dQ-})
 282                                                    = case compare{-a1gX-} a1{-a1dR-} b1{-a1dW-} of
 283                                                        PrelBase.LT{-rJk,i-} -> PrelBase.LT{-rJk,i-}
 284                                                        PrelBase.EQ{-rsT,i-}
 285                                                          -> case
 286                                                                 compare{-a1h0-} a2{-a1dK-}
 287                                                                                 b2{-a1dQ-}
 288                                                             of
 289                                                               PrelBase.LT{-rJk,i-}
 290                                                                 -> PrelBase.LT{-rJk,i-}
 291                                                               PrelBase.EQ{-rsT,i-}
 292                                                                 -> PrelBase.EQ{-rsT,i-}
 293                                                               PrelBase.GT{-rJl,i-}
 294                                                                 -> PrelBase.GT{-rJl,i-}
 295                                                        PrelBase.GT{-rJl,i-} -> PrelBase.GT{-rJl,i-}
 296                                   cmp_eq{-a1fo-} (Print002.MkFoo3{-rD,x-} a1{-a1ex-} a2{-a1eq-})
 297                                                  (Print002.MkFoo3{-rD,x-} b1{-a1eC-} b2{-a1ew-})
 298                                                    = case compare{-a1gY-} a1{-a1ex-} b1{-a1eC-} of
 299                                                        PrelBase.LT{-rJk,i-} -> PrelBase.LT{-rJk,i-}
 300                                                        PrelBase.EQ{-rsT,i-}
 301                                                          -> case
 302                                                                 compare{-a1gW-} a2{-a1eq-}
 303                                                                                 b2{-a1ew-}
 304                                                             of
 305                                                               PrelBase.LT{-rJk,i-}
 306                                                                 -> PrelBase.LT{-rJk,i-}
 307                                                               PrelBase.EQ{-rsT,i-}
 308                                                                 -> PrelBase.EQ{-rsT,i-}
 309                                                               PrelBase.GT{-rJl,i-}
 310                                                                 -> PrelBase.GT{-rJl,i-}
 311                                                        PrelBase.GT{-rJl,i-} -> PrelBase.GT{-rJl,i-}
 312                                   cmp_eq{-a1fo-} (Print002.:***{-rF,x-} a1{-a1fd-} a2{-a1f6-})
 313                                                  (Print002.:***{-rF,x-} b1{-a1fi-} b2{-a1fc-})
 314                                                    = case compare{-a1h1-} a1{-a1fd-} b1{-a1fi-} of
 315                                                        PrelBase.LT{-rJk,i-} -> PrelBase.LT{-rJk,i-}
 316                                                        PrelBase.EQ{-rsT,i-}
 317                                                          -> case
 318                                                                 compare{-a1gZ-} a2{-a1f6-}
 319                                                                                 b2{-a1fc-}
 320                                                             of
 321                                                               PrelBase.LT{-rJk,i-}
 322                                                                 -> PrelBase.LT{-rJk,i-}
 323                                                               PrelBase.EQ{-rsT,i-}
 324                                                                 -> PrelBase.EQ{-rsT,i-}
 325                                                               PrelBase.GT{-rJl,i-}
 326                                                                 -> PrelBase.GT{-rJl,i-}
 327                                                        PrelBase.GT{-rJl,i-} -> PrelBase.GT{-rJl,i-}
 328                                   cmp_eq{-a1fo-} _ _
 329                                                    = PrelErr.error{-05,w-}
 330                                                          PrelBase.Ordering{-3s,i-} "Urk! in TcGenDeriv"
 331                               {- rec -}
 332                               cmp_eq{-a1h2-} =
 333                                   cmp_eq{-rZE-} [a{-a1ai-}, b{-a1aj-}, c{-a1ak-}]
 334                                       [_dOrd{-a1g4-}, _dOrd{-a1g5-}, _dOrd{-a1g6-}]
 335     _dOrd{-a1ab-} =
 336         PrelBase._DOrd{-rJw,i-}
 337             (Print002.Foo{-rx,x-} a{-a1ai-} b{-a1aj-} c{-a1ak-}) _dEq{-a1g8-}
 338                                                                  min{-a1ad-}
 339                                                                  max{-a1aA-}
 340                                                                  >{-a1aU-}
 341                                                                  >={-a1be-}
 342                                                                  <={-a1by-}
 343                                                                  <{-a1bS-}
 344                                                                  compare{-a1cc-}
 345 AbsBinds [a{-a1gw-}] [_dBar{-a1gv-}] []
 346 AbsBinds [a{-a1gA-}] [_dBar2{-a1gz-}] []
 347
 348
 349
 350 Print002.hs:34: Pattern match(es) are overlapped
 351     in the definition of function `<<<<' x y = ...
 352
 353 ghc: module version changed to 1; reason: no old .hi file
 354 __export Print002 .... ..... <<<< f1 f1a f2 f2a f3a f3b f3c f3d Bar{meth2 ///// meth1} Bar2 Foo{MkFoo1 :## MkFoo3 :***};
 355 instance __forall [a b c] {PrelBase.Eq a, PrelBase.Eq b, PrelBase.Eq c} => {PrelBase.Eq (Foo a b c)} = _fEqFoo;
 356 instance __forall [a b c] {PrelBase.Ord a, PrelBase.Ord b, PrelBase.Ord c} => {PrelBase.Ord (Foo a b c)} = _fOrdFoo;
 357 1 .... :: __forall [a b c] => b -> b -> Foo a b c ;
 358 1 ..... :: __forall [a b c] => b -> b -> Foo a b c ;
 359 1 <<<< :: __forall [a b c] => c -> c -> Foo a b c ;
 360 1 _fEqFoo :: __forall [a b c] {PrelBase.Eq a, PrelBase.Eq b, PrelBase.Eq c} => {PrelBase.Eq (Foo a b c)} ;
 361 1 _fOrdFoo :: __forall [a b c] {PrelBase.Ord a, PrelBase.Ord b, PrelBase.Ord c, PrelBase.Eq (Foo a b c)} => {PrelBase.Ord (Foo a b c)} ;
 362 1 class Bar a where {meth2 :: __forall [b] => a -> b -> PrelBase.Bool; ///// :: a -> a -> PrelBase.Bool; meth1 :: a -> a -> PrelBase.Bool} ;
 363 1 class {Bar a}  => Bar2 a ;
 364 1 data Foo a b c = MkFoo1 a a |  :## b c |  MkFoo3 b b |  :*** c c ;
 365 1 f1 :: __forall [a b c] => a -> a -> Foo a b c ;
 366 1 f1a :: __forall [a b c] => a -> a -> Foo a b c ;
 367 1 f2 :: __forall [a b c] => b -> c -> Foo a b c ;
 368 1 f2a :: __forall [a b c] => b -> c -> Foo a b c ;
 369 1 f3a :: __forall [a] {Bar a} => a -> a -> PrelBase.Bool ;
 370 1 f3b :: __forall [a] {Bar a} => a -> a -> PrelBase.Bool ;
 371 1 f3c :: __forall [a] {Bar a} => a -> a -> PrelBase.Bool ;
 372 1 f3d :: __forall [a] {Bar a} => a -> a -> PrelBase.Bool ;