test/Golden/Grammar/ViewGrammar/G14.expected.txt

   1 lets
   2 + let <hidden>
   3 | ` <*>
   4 |   + <*>
   5 |   | + <*>
   6 |   | | + pure (\u1 -> (\u2 -> u1))
   7 |   | | ` pure (\u1 -> u1)
   8 |   | ` ref <hidden>
   9 |   ` <*>
  10 |     + <*>
  11 |     | + <*>
  12 |     | | + pure (\u1 -> (\u2 -> u1))
  13 |     | | ` pure (\u1 -> u1)
  14 |     | ` <*>
  15 |     |   + <*>
  16 |     |   | + pure ((\u1 -> (\u2 -> (\u3 -> (u1 u3) u2))) (\u1 -> (\u2 -> u1 u2)))
  17 |     |   | ` pure Term
  18 |     |   ` ref <hidden>
  19 |     ` pure Term
  20 + let <hidden>
  21 | ` <*>
  22 |   + <*>
  23 |   | + <*>
  24 |   | | + pure (\u1 -> (\u2 -> u1))
  25 |   | | ` pure (\u1 -> u1)
  26 |   | ` ref <hidden>
  27 |   ` <*>
  28 |     + <*>
  29 |     | + <*>
  30 |     | | + pure (\u1 -> (\u2 -> u1))
  31 |     | | ` pure (\u1 -> u1)
  32 |     | ` <*>
  33 |     |   + <*>
  34 |     |   | + pure ((\u1 -> (\u2 -> (\u3 -> (u1 u3) u2))) (\u1 -> (\u2 -> u1 u2)))
  35 |     |   | ` ref <hidden>
  36 |     |   ` ref <hidden>
  37 |     ` ref <hidden>
  38 + let <hidden>
  39 | ` <*>
  40 |   + <*>
  41 |   | + pure (\u1 -> (\u2 -> u1))
  42 |   | ` <*>
  43 |   |   + <*>
  44 |   |   | + <*>
  45 |   |   | | + pure (\u1 -> (\u2 -> u1))
  46 |   |   | | ` pure (\u1 -> u1)
  47 |   |   | ` <*>
  48 |   |   |   + <*>
  49 |   |   |   | + pure (\u1 -> (\u2 -> u1))
  50 |   |   |   | ` <*>
  51 |   |   |   |   + <*>
  52 |   |   |   |   | + pure (\u1 -> (\u2 -> u1))
  53 |   |   |   |   | ` pure '['
  54 |   |   |   |   ` satisfy
  55 |   |   |   ` ref <hidden>
  56 |   |   ` <*>
  57 |   |     + <*>
  58 |   |     | + <*>
  59 |   |     | | + pure (\u1 -> (\u2 -> u1))
  60 |   |     | | ` pure (\u1 -> u1)
  61 |   |     | ` ref <hidden>
  62 |   |     ` <*>
  63 |   |       + <*>
  64 |   |       | + <*>
  65 |   |       | | + pure (\u1 -> (\u2 -> u1))
  66 |   |       | | ` pure (\u1 -> u1)
  67 |   |       | ` <*>
  68 |   |       |   + <*>
  69 |   |       |   | + pure ((\u1 -> (\u2 -> (\u3 -> (u1 u3) u2))) (\u1 -> (\u2 -> u1 u2)))
  70 |   |       |   | ` pure Term
  71 |   |       |   ` ref <hidden>
  72 |   |       ` pure Term
  73 |   ` <*>
  74 |     + <*>
  75 |     | + pure (\u1 -> (\u2 -> u1))
  76 |     | ` <*>
  77 |     |   + <*>
  78 |     |   | + pure (\u1 -> (\u2 -> u1))
  79 |     |   | ` pure ']'
  80 |     |   ` satisfy
  81 |     ` ref <hidden>
  82 + let <hidden>
  83 | ` <*>
  84 |   + <*>
  85 |   | + pure (\u1 -> (\u2 -> u1))
  86 |   | ` <*>
  87 |   |   + <*>
  88 |   |   | + <*>
  89 |   |   | | + pure (\u1 -> (\u2 -> u1))
  90 |   |   | | ` pure (\u1 -> u1)
  91 |   |   | ` <*>
  92 |   |   |   + <*>
  93 |   |   |   | + pure (\u1 -> (\u2 -> u1))
  94 |   |   |   | ` <*>
  95 |   |   |   |   + <*>
  96 |   |   |   |   | + pure (\u1 -> (\u2 -> u1))
  97 |   |   |   |   | ` pure '{'
  98 |   |   |   |   ` satisfy
  99 |   |   |   ` ref <hidden>
 100 |   |   ` <*>
 101 |   |     + <*>
 102 |   |     | + <*>
 103 |   |     | | + pure (\u1 -> (\u2 -> u1))
 104 |   |     | | ` pure (\u1 -> u1)
 105 |   |     | ` <*>
 106 |   |     |   + <*>
 107 |   |     |   | + pure ((\u1 -> (\u2 -> (\u3 -> (u1 u3) u2))) (\u1 -> (\u2 -> u1 u2)))
 108 |   |     |   | ` ref <hidden>
 109 |   |     |   ` ref <hidden>
 110 |   |     ` ref <hidden>
 111 |   ` <*>
 112 |     + <*>
 113 |     | + pure (\u1 -> (\u2 -> u1))
 114 |     | ` <*>
 115 |     |   + <*>
 116 |     |   | + pure (\u1 -> (\u2 -> u1))
 117 |     |   | ` pure '}'
 118 |     |   ` satisfy
 119 |     ` ref <hidden>
 120 + let <hidden>
 121 | ` <*>
 122 |   + <*>
 123 |   | + <*>
 124 |   | | + pure (\u1 -> (\u2 -> u1))
 125 |   | | ` pure (\u1 -> u1)
 126 |   | ` ref <hidden>
 127 |   ` <|>
 128 |     + <*>
 129 |     | + <*>
 130 |     | | + pure (\u1 -> (\u2 -> u1))
 131 |     | | ` pure Term
 132 |     | ` ref <hidden>
 133 |     ` ref <hidden>
 134 + let <hidden>
 135 | ` <*>
 136 |   + <*>
 137 |   | + <*>
 138 |   | | + pure (\u1 -> (\u2 -> u1))
 139 |   | | ` pure (\u1 -> u1)
 140 |   | ` satisfy
 141 |   ` ref <hidden>
 142 + let <hidden>
 143 | ` <*>
 144 |   + <*>
 145 |   | + <*>
 146 |   | | + pure (\u1 -> (\u2 -> u1))
 147 |   | | ` pure (\u1 -> u1)
 148 |   | ` try
 149 |   |   ` <*>
 150 |   |     + <*>
 151 |   |     | + <*>
 152 |   |     | | + pure (\u1 -> (\u2 -> u1))
 153 |   |     | | ` pure (\u1 -> u1)
 154 |   |     | ` satisfy
 155 |   |     ` <*>
 156 |   |       + <*>
 157 |   |       | + <*>
 158 |   |       | | + pure (\u1 -> (\u2 -> u1))
 159 |   |       | | ` pure (\u1 -> u1)
 160 |   |       | ` <*>
 161 |   |       |   + <*>
 162 |   |       |   | + pure ((\u1 -> (\u2 -> (\u3 -> (u1 u3) u2))) (\u1 -> (\u2 -> u1 u2)))
 163 |   |       |   | ` ref <hidden>
 164 |   |       |   ` ref <hidden>
 165 |   |       ` ref <hidden>
 166 |   ` ref <hidden>
 167 + let <hidden>
 168 | ` <*>
 169 |   + <*>
 170 |   | + pure (\u1 -> (\u2 -> u1))
 171 |   | ` <*>
 172 |   |   + <*>
 173 |   |   | + pure (\u1 -> (\u2 -> u1))
 174 |   |   | ` pure '('
 175 |   |   ` satisfy
 176 |   ` ref <hidden>
 177 + let <hidden>
 178 | ` <*>
 179 |   + <*>
 180 |   | + pure (\u1 -> (\u2 -> u1))
 181 |   | ` <*>
 182 |   |   + <*>
 183 |   |   | + pure (\u1 -> (\u2 -> u1))
 184 |   |   | ` pure ')'
 185 |   |   ` satisfy
 186 |   ` ref <hidden>
 187 + let <hidden>
 188 | ` <*>
 189 |   + <*>
 190 |   | + pure (\u1 -> (\u2 -> u1))
 191 |   | ` <*>
 192 |   |   + <*>
 193 |   |   | + pure (\u1 -> (\u2 -> u1))
 194 |   |   | ` pure ','
 195 |   |   ` satisfy
 196 |   ` ref <hidden>
 197 + let <hidden>
 198 | ` <*>
 199 |   + <*>
 200 |   | + pure (\u1 -> (\u2 -> u1))
 201 |   | ` <*>
 202 |   |   + <*>
 203 |   |   | + pure (\u1 -> (\u2 -> u1))
 204 |   |   | ` pure ';'
 205 |   |   ` satisfy
 206 |   ` ref <hidden>
 207 + let <hidden>
 208 | ` <*>
 209 |   + pure (\u1 -> (\u2 -> (\u3 -> (u1 u3) u2)))
 210 |   ` pure (\u1 -> (\u2 -> u1))
 211 + let <hidden>
 212 | ` <|>
 213 |   + <*>
 214 |   | + <*>
 215 |   | | + pure (\u1 -> (\u2 -> (\u3 -> u1 (u2 u3))))
 216 |   | | ` <*>
 217 |   | |   + <*>
 218 |   | |   | + pure (\u1 -> (\u2 -> (\u3 -> (u1 u3) u2)))
 219 |   | |   | ` pure (\u1 -> (\u2 -> u1))
 220 |   | |   ` <*>
 221 |   | |     + <*>
 222 |   | |     | + <*>
 223 |   | |     | | + pure (\u1 -> (\u2 -> u1))
 224 |   | |     | | ` pure (\u1 -> u1)
 225 |   | |     | ` <*>
 226 |   | |     |   + <*>
 227 |   | |     |   | + <*>
 228 |   | |     |   | | + pure (\u1 -> (\u2 -> u1))
 229 |   | |     |   | | ` pure (\u1 -> u1)
 230 |   | |     |   | ` <*>
 231 |   | |     |   |   + <*>
 232 |   | |     |   |   | + <*>
 233 |   | |     |   |   | | + pure (\u1 -> (\u2 -> u1))
 234 |   | |     |   |   | | ` pure (\u1 -> u1)
 235 |   | |     |   |   | ` <*>
 236 |   | |     |   |   |   + <*>
 237 |   | |     |   |   |   | + <*>
 238 |   | |     |   |   |   | | + pure (\u1 -> (\u2 -> u1))
 239 |   | |     |   |   |   | | ` pure (\u1 -> u1)
 240 |   | |     |   |   |   | ` try
 241 |   | |     |   |   |   |   ` <*>
 242 |   | |     |   |   |   |     + <*>
 243 |   | |     |   |   |   |     | + pure cons
 244 |   | |     |   |   |   |     | ` <*>
 245 |   | |     |   |   |   |     |   + <*>
 246 |   | |     |   |   |   |     |   | + pure (\u1 -> (\u2 -> u1))
 247 |   | |     |   |   |   |     |   | ` pure 'f'
 248 |   | |     |   |   |   |     |   ` satisfy
 249 |   | |     |   |   |   |     ` <*>
 250 |   | |     |   |   |   |       + <*>
 251 |   | |     |   |   |   |       | + pure cons
 252 |   | |     |   |   |   |       | ` <*>
 253 |   | |     |   |   |   |       |   + <*>
 254 |   | |     |   |   |   |       |   | + pure (\u1 -> (\u2 -> u1))
 255 |   | |     |   |   |   |       |   | ` pure 'u'
 256 |   | |     |   |   |   |       |   ` satisfy
 257 |   | |     |   |   |   |       ` <*>
 258 |   | |     |   |   |   |         + <*>
 259 |   | |     |   |   |   |         | + pure cons
 260 |   | |     |   |   |   |         | ` <*>
 261 |   | |     |   |   |   |         |   + <*>
 262 |   | |     |   |   |   |         |   | + pure (\u1 -> (\u2 -> u1))
 263 |   | |     |   |   |   |         |   | ` pure 'n'
 264 |   | |     |   |   |   |         |   ` satisfy
 265 |   | |     |   |   |   |         ` <*>
 266 |   | |     |   |   |   |           + <*>
 267 |   | |     |   |   |   |           | + pure cons
 268 |   | |     |   |   |   |           | ` <*>
 269 |   | |     |   |   |   |           |   + <*>
 270 |   | |     |   |   |   |           |   | + pure (\u1 -> (\u2 -> u1))
 271 |   | |     |   |   |   |           |   | ` pure 'c'
 272 |   | |     |   |   |   |           |   ` satisfy
 273 |   | |     |   |   |   |           ` <*>
 274 |   | |     |   |   |   |             + <*>
 275 |   | |     |   |   |   |             | + pure cons
 276 |   | |     |   |   |   |             | ` <*>
 277 |   | |     |   |   |   |             |   + <*>
 278 |   | |     |   |   |   |             |   | + pure (\u1 -> (\u2 -> u1))
 279 |   | |     |   |   |   |             |   | ` pure 't'
 280 |   | |     |   |   |   |             |   ` satisfy
 281 |   | |     |   |   |   |             ` <*>
 282 |   | |     |   |   |   |               + <*>
 283 |   | |     |   |   |   |               | + pure cons
 284 |   | |     |   |   |   |               | ` <*>
 285 |   | |     |   |   |   |               |   + <*>
 286 |   | |     |   |   |   |               |   | + pure (\u1 -> (\u2 -> u1))
 287 |   | |     |   |   |   |               |   | ` pure 'i'
 288 |   | |     |   |   |   |               |   ` satisfy
 289 |   | |     |   |   |   |               ` <*>
 290 |   | |     |   |   |   |                 + <*>
 291 |   | |     |   |   |   |                 | + pure cons
 292 |   | |     |   |   |   |                 | ` <*>
 293 |   | |     |   |   |   |                 |   + <*>
 294 |   | |     |   |   |   |                 |   | + pure (\u1 -> (\u2 -> u1))
 295 |   | |     |   |   |   |                 |   | ` pure 'o'
 296 |   | |     |   |   |   |                 |   ` satisfy
 297 |   | |     |   |   |   |                 ` <*>
 298 |   | |     |   |   |   |                   + <*>
 299 |   | |     |   |   |   |                   | + pure cons
 300 |   | |     |   |   |   |                   | ` <*>
 301 |   | |     |   |   |   |                   |   + <*>
 302 |   | |     |   |   |   |                   |   | + pure (\u1 -> (\u2 -> u1))
 303 |   | |     |   |   |   |                   |   | ` pure 'n'
 304 |   | |     |   |   |   |                   |   ` satisfy
 305 |   | |     |   |   |   |                   ` pure Term
 306 |   | |     |   |   |   ` ref <hidden>
 307 |   | |     |   |   ` ref <hidden>
 308 |   | |     |   ` <*>
 309 |   | |     |     + <*>
 310 |   | |     |     | + pure (\u1 -> (\u2 -> u1))
 311 |   | |     |     | ` <*>
 312 |   | |     |     |   + <*>
 313 |   | |     |     |   | + <*>
 314 |   | |     |     |   | | + pure (\u1 -> (\u2 -> u1))
 315 |   | |     |     |   | | ` pure (\u1 -> u1)
 316 |   | |     |     |   | ` ref <hidden>
 317 |   | |     |     |   ` <*>
 318 |   | |     |     |     + <*>
 319 |   | |     |     |     | + <*>
 320 |   | |     |     |     | | + pure (\u1 -> (\u2 -> u1))
 321 |   | |     |     |     | | ` pure (\u1 -> u1)
 322 |   | |     |     |     | ` ref <hidden>
 323 |   | |     |     |     ` <|>
 324 |   | |     |     |       + <*>
 325 |   | |     |     |       | + <*>
 326 |   | |     |     |       | | + pure (\u1 -> (\u2 -> u1))
 327 |   | |     |     |       | | ` pure Term
 328 |   | |     |     |       | ` <*>
 329 |   | |     |     |       |   + <*>
 330 |   | |     |     |       |   | + <*>
 331 |   | |     |     |       |   | | + pure (\u1 -> (\u2 -> u1))
 332 |   | |     |     |       |   | | ` pure (\u1 -> u1)
 333 |   | |     |     |       |   | ` <*>
 334 |   | |     |     |       |   |   + <*>
 335 |   | |     |     |       |   |   | + pure (\u1 -> (\u2 -> u1))
 336 |   | |     |     |       |   |   | ` <*>
 337 |   | |     |     |       |   |   |   + <*>
 338 |   | |     |     |       |   |   |   | + pure (\u1 -> (\u2 -> u1))
 339 |   | |     |     |       |   |   |   | ` pure ':'
 340 |   | |     |     |       |   |   |   ` satisfy
 341 |   | |     |     |       |   |   ` ref <hidden>
 342 |   | |     |     |       |   ` ref <hidden>
 343 |   | |     |     |       ` ref <hidden>
 344 |   | |     |     ` ref <hidden>
 345 |   | |     ` ref <hidden>
 346 |   | ` rec <hidden>
 347 |   ` pure (\u1 -> u1)
 348 + let <hidden>
 349 | ` <|>
 350 |   + <*>
 351 |   | + <*>
 352 |   | | + pure (\u1 -> (\u2 -> (\u3 -> u1 (u2 u3))))
 353 |   | | ` <*>
 354 |   | |   + <*>
 355 |   | |   | + pure (\u1 -> (\u2 -> (\u3 -> (u1 u3) u2)))
 356 |   | |   | ` pure (\u1 -> (\u2 -> u1))
 357 |   | |   ` <*>
 358 |   | |     + <*>
 359 |   | |     | + <*>
 360 |   | |     | | + pure (\u1 -> (\u2 -> u1))
 361 |   | |     | | ` pure (\u1 -> u1)
 362 |   | |     | ` <*>
 363 |   | |     |   + <*>
 364 |   | |     |   | + pure (\u1 -> (\u2 -> u1))
 365 |   | |     |   | ` <*>
 366 |   | |     |   |   + <*>
 367 |   | |     |   |   | + pure (\u1 -> (\u2 -> u1))
 368 |   | |     |   |   | ` pure '!'
 369 |   | |     |   |   ` satisfy
 370 |   | |     |   ` ref <hidden>
 371 |   | |     ` ref <hidden>
 372 |   | ` rec <hidden>
 373 |   ` pure (\u1 -> u1)
 374 + let <hidden>
 375 | ` <|>
 376 |   + <*>
 377 |   | + <*>
 378 |   | | + pure (\u1 -> (\u2 -> (\u3 -> u1 (u2 u3))))
 379 |   | | ` <*>
 380 |   | |   + <*>
 381 |   | |   | + pure (\u1 -> (\u2 -> (\u3 -> (u1 u3) u2)))
 382 |   | |   | ` pure (\u1 -> (\u2 -> u1))
 383 |   | |   ` <|>
 384 |   | |     + <|>
 385 |   | |     | + <|>
 386 |   | |     | | + <*>
 387 |   | |     | | | + <*>
 388 |   | |     | | | | + <*>
 389 |   | |     | | | | | + pure (\u1 -> (\u2 -> u1))
 390 |   | |     | | | | | ` pure (\u1 -> u1)
 391 |   | |     | | | | ` try
 392 |   | |     | | | |   ` <*>
 393 |   | |     | | | |     + <*>
 394 |   | |     | | | |     | + pure cons
 395 |   | |     | | | |     | ` <*>
 396 |   | |     | | | |     |   + <*>
 397 |   | |     | | | |     |   | + pure (\u1 -> (\u2 -> u1))
 398 |   | |     | | | |     |   | ` pure 'i'
 399 |   | |     | | | |     |   ` satisfy
 400 |   | |     | | | |     ` <*>
 401 |   | |     | | | |       + <*>
 402 |   | |     | | | |       | + pure cons
 403 |   | |     | | | |       | ` <*>
 404 |   | |     | | | |       |   + <*>
 405 |   | |     | | | |       |   | + pure (\u1 -> (\u2 -> u1))
 406 |   | |     | | | |       |   | ` pure 'f'
 407 |   | |     | | | |       |   ` satisfy
 408 |   | |     | | | |       ` pure Term
 409 |   | |     | | | ` ref <hidden>
 410 |   | |     | | ` <*>
 411 |   | |     | |   + <*>
 412 |   | |     | |   | + <*>
 413 |   | |     | |   | | + pure (\u1 -> (\u2 -> u1))
 414 |   | |     | |   | | ` pure (\u1 -> u1)
 415 |   | |     | |   | ` <*>
 416 |   | |     | |   |   + <*>
 417 |   | |     | |   |   | + <*>
 418 |   | |     | |   |   | | + pure (\u1 -> (\u2 -> u1))
 419 |   | |     | |   |   | | ` pure (\u1 -> u1)
 420 |   | |     | |   |   | ` <*>
 421 |   | |     | |   |   |   + <*>
 422 |   | |     | |   |   |   | + <*>
 423 |   | |     | |   |   |   | | + pure (\u1 -> (\u2 -> u1))
 424 |   | |     | |   |   |   | | ` pure (\u1 -> u1)
 425 |   | |     | |   |   |   | ` try
 426 |   | |     | |   |   |   |   ` <*>
 427 |   | |     | |   |   |   |     + <*>
 428 |   | |     | |   |   |   |     | + pure cons
 429 |   | |     | |   |   |   |     | ` <*>
 430 |   | |     | |   |   |   |     |   + <*>
 431 |   | |     | |   |   |   |     |   | + pure (\u1 -> (\u2 -> u1))
 432 |   | |     | |   |   |   |     |   | ` pure 'w'
 433 |   | |     | |   |   |   |     |   ` satisfy
 434 |   | |     | |   |   |   |     ` <*>
 435 |   | |     | |   |   |   |       + <*>
 436 |   | |     | |   |   |   |       | + pure cons
 437 |   | |     | |   |   |   |       | ` <*>
 438 |   | |     | |   |   |   |       |   + <*>
 439 |   | |     | |   |   |   |       |   | + pure (\u1 -> (\u2 -> u1))
 440 |   | |     | |   |   |   |       |   | ` pure 'h'
 441 |   | |     | |   |   |   |       |   ` satisfy
 442 |   | |     | |   |   |   |       ` <*>
 443 |   | |     | |   |   |   |         + <*>
 444 |   | |     | |   |   |   |         | + pure cons
 445 |   | |     | |   |   |   |         | ` <*>
 446 |   | |     | |   |   |   |         |   + <*>
 447 |   | |     | |   |   |   |         |   | + pure (\u1 -> (\u2 -> u1))
 448 |   | |     | |   |   |   |         |   | ` pure 'i'
 449 |   | |     | |   |   |   |         |   ` satisfy
 450 |   | |     | |   |   |   |         ` <*>
 451 |   | |     | |   |   |   |           + <*>
 452 |   | |     | |   |   |   |           | + pure cons
 453 |   | |     | |   |   |   |           | ` <*>
 454 |   | |     | |   |   |   |           |   + <*>
 455 |   | |     | |   |   |   |           |   | + pure (\u1 -> (\u2 -> u1))
 456 |   | |     | |   |   |   |           |   | ` pure 'l'
 457 |   | |     | |   |   |   |           |   ` satisfy
 458 |   | |     | |   |   |   |           ` <*>
 459 |   | |     | |   |   |   |             + <*>
 460 |   | |     | |   |   |   |             | + pure cons
 461 |   | |     | |   |   |   |             | ` <*>
 462 |   | |     | |   |   |   |             |   + <*>
 463 |   | |     | |   |   |   |             |   | + pure (\u1 -> (\u2 -> u1))
 464 |   | |     | |   |   |   |             |   | ` pure 'e'
 465 |   | |     | |   |   |   |             |   ` satisfy
 466 |   | |     | |   |   |   |             ` pure Term
 467 |   | |     | |   |   |   ` ref <hidden>
 468 |   | |     | |   |   ` ref <hidden>
 469 |   | |     | |   ` rec <hidden>
 470 |   | |     | ` try
 471 |   | |     |   ` <*>
 472 |   | |     |     + <*>
 473 |   | |     |     | + pure (\u1 -> (\u2 -> u1))
 474 |   | |     |     | ` <*>
 475 |   | |     |     |   + <*>
 476 |   | |     |     |   | + <*>
 477 |   | |     |     |   | | + pure (\u1 -> (\u2 -> u1))
 478 |   | |     |     |   | | ` pure (\u1 -> u1)
 479 |   | |     |     |   | ` <*>
 480 |   | |     |     |   |   + <*>
 481 |   | |     |     |   |   | + <*>
 482 |   | |     |     |   |   | | + pure (\u1 -> (\u2 -> u1))
 483 |   | |     |     |   |   | | ` pure (\u1 -> u1)
 484 |   | |     |     |   |   | ` <*>
 485 |   | |     |     |   |   |   + <*>
 486 |   | |     |     |   |   |   | + <*>
 487 |   | |     |     |   |   |   | | + pure (\u1 -> (\u2 -> u1))
 488 |   | |     |     |   |   |   | | ` pure (\u1 -> u1)
 489 |   | |     |     |   |   |   | ` <|>
 490 |   | |     |     |   |   |   |   + <*>
 491 |   | |     |     |   |   |   |   | + <*>
 492 |   | |     |     |   |   |   |   | | + pure (\u1 -> (\u2 -> u1))
 493 |   | |     |     |   |   |   |   | | ` pure Term
 494 |   | |     |     |   |   |   |   | ` <*>
 495 |   | |     |     |   |   |   |   |   + <*>
 496 |   | |     |     |   |   |   |   |   | + <*>
 497 |   | |     |     |   |   |   |   |   | | + pure (\u1 -> (\u2 -> u1))
 498 |   | |     |     |   |   |   |   |   | | ` pure (\u1 -> u1)
 499 |   | |     |     |   |   |   |   |   | ` try
 500 |   | |     |     |   |   |   |   |   |   ` <*>
 501 |   | |     |     |   |   |   |   |   |     + <*>
 502 |   | |     |     |   |   |   |   |   |     | + pure cons
 503 |   | |     |     |   |   |   |   |   |     | ` <*>
 504 |   | |     |     |   |   |   |   |   |     |   + <*>
 505 |   | |     |     |   |   |   |   |   |     |   | + pure (\u1 -> (\u2 -> u1))
 506 |   | |     |     |   |   |   |   |   |     |   | ` pure 'v'
 507 |   | |     |     |   |   |   |   |   |     |   ` satisfy
 508 |   | |     |     |   |   |   |   |   |     ` <*>
 509 |   | |     |     |   |   |   |   |   |       + <*>
 510 |   | |     |     |   |   |   |   |   |       | + pure cons
 511 |   | |     |     |   |   |   |   |   |       | ` <*>
 512 |   | |     |     |   |   |   |   |   |       |   + <*>
 513 |   | |     |     |   |   |   |   |   |       |   | + pure (\u1 -> (\u2 -> u1))
 514 |   | |     |     |   |   |   |   |   |       |   | ` pure 'a'
 515 |   | |     |     |   |   |   |   |   |       |   ` satisfy
 516 |   | |     |     |   |   |   |   |   |       ` <*>
 517 |   | |     |     |   |   |   |   |   |         + <*>
 518 |   | |     |     |   |   |   |   |   |         | + pure cons
 519 |   | |     |     |   |   |   |   |   |         | ` <*>
 520 |   | |     |     |   |   |   |   |   |         |   + <*>
 521 |   | |     |     |   |   |   |   |   |         |   | + pure (\u1 -> (\u2 -> u1))
 522 |   | |     |     |   |   |   |   |   |         |   | ` pure 'r'
 523 |   | |     |     |   |   |   |   |   |         |   ` satisfy
 524 |   | |     |     |   |   |   |   |   |         ` pure Term
 525 |   | |     |     |   |   |   |   |   ` ref <hidden>
 526 |   | |     |     |   |   |   |   ` ref <hidden>
 527 |   | |     |     |   |   |   ` <*>
 528 |   | |     |     |   |   |     + <*>
 529 |   | |     |     |   |   |     | + <*>
 530 |   | |     |     |   |   |     | | + pure (\u1 -> (\u2 -> u1))
 531 |   | |     |     |   |   |     | | ` pure (\u1 -> u1)
 532 |   | |     |     |   |   |     | ` ref <hidden>
 533 |   | |     |     |   |   |     ` <*>
 534 |   | |     |     |   |   |       + <*>
 535 |   | |     |     |   |   |       | + <*>
 536 |   | |     |     |   |   |       | | + pure (\u1 -> (\u2 -> u1))
 537 |   | |     |     |   |   |       | | ` pure (\u1 -> u1)
 538 |   | |     |     |   |   |       | ` <*>
 539 |   | |     |     |   |   |       |   + <*>
 540 |   | |     |     |   |   |       |   | + pure ((\u1 -> (\u2 -> (\u3 -> (u1 u3) u2))) (\u1 -> (\u2 -> u1 u2)))
 541 |   | |     |     |   |   |       |   | ` ref <hidden>
 542 |   | |     |     |   |   |       |   ` ref <hidden>
 543 |   | |     |     |   |   |       ` ref <hidden>
 544 |   | |     |     |   |   ` <*>
 545 |   | |     |     |   |     + <*>
 546 |   | |     |     |   |     | + pure (\u1 -> (\u2 -> u1))
 547 |   | |     |     |   |     | ` <*>
 548 |   | |     |     |   |     |   + <*>
 549 |   | |     |     |   |     |   | + pure (\u1 -> (\u2 -> u1))
 550 |   | |     |     |   |     |   | ` pure '='
 551 |   | |     |     |   |     |   ` satisfy
 552 |   | |     |     |   |     ` ref <hidden>
 553 |   | |     |     |   ` <*>
 554 |   | |     |     |     + <*>
 555 |   | |     |     |     | + <*>
 556 |   | |     |     |     | | + pure (\u1 -> (\u2 -> u1))
 557 |   | |     |     |     | | ` pure (\u1 -> u1)
 558 |   | |     |     |     | ` ref <hidden>
 559 |   | |     |     |     ` <*>
 560 |   | |     |     |       + <*>
 561 |   | |     |     |       | + <*>
 562 |   | |     |     |       | | + pure (\u1 -> (\u2 -> u1))
 563 |   | |     |     |       | | ` pure (\u1 -> u1)
 564 |   | |     |     |       | ` <*>
 565 |   | |     |     |       |   + <*>
 566 |   | |     |     |       |   | + pure ((\u1 -> (\u2 -> (\u3 -> (u1 u3) u2))) (\u1 -> (\u2 -> u1 u2)))
 567 |   | |     |     |       |   | ` ref <hidden>
 568 |   | |     |     |       |   ` ref <hidden>
 569 |   | |     |     |       ` ref <hidden>
 570 |   | |     |     ` ref <hidden>
 571 |   | |     ` <*>
 572 |   | |       + <*>
 573 |   | |       | + pure (\u1 -> (\u2 -> u1))
 574 |   | |       | ` ref <hidden>
 575 |   | |       ` ref <hidden>
 576 |   | ` rec <hidden>
 577 |   ` pure (\u1 -> u1)
 578 + let <hidden>
 579 | ` <|>
 580 |   + <*>
 581 |   | + <*>
 582 |   | | + pure (\u1 -> (\u2 -> (\u3 -> u1 (u2 u3))))
 583 |   | | ` <*>
 584 |   | |   + <*>
 585 |   | |   | + pure (\u1 -> (\u2 -> (\u3 -> (u1 u3) u2)))
 586 |   | |   | ` pure (\u1 -> (\u2 -> u1))
 587 |   | |   ` ref <hidden>
 588 |   | ` rec <hidden>
 589 |   ` pure (\u1 -> u1)
 590 + let <hidden>
 591 | ` <|>
 592 |   + <*>
 593 |   | + <*>
 594 |   | | + pure (\u1 -> (\u2 -> (\u3 -> u1 (u2 u3))))
 595 |   | | ` <*>
 596 |   | |   + <*>
 597 |   | |   | + pure (\u1 -> (\u2 -> (\u3 -> (u1 u3) u2)))
 598 |   | |   | ` pure (\u1 -> (\u2 -> u1))
 599 |   | |   ` ref <hidden>
 600 |   | ` rec <hidden>
 601 |   ` pure (\u1 -> u1)
 602 + let <hidden>
 603 | ` <|>
 604 |   + <*>
 605 |   | + <*>
 606 |   | | + pure (\u1 -> (\u2 -> (\u3 -> u1 (u2 u3))))
 607 |   | | ` <*>
 608 |   | |   + <*>
 609 |   | |   | + pure (\u1 -> (\u2 -> (\u3 -> (u1 u3) u2)))
 610 |   | |   | ` pure (\u1 -> (\u2 -> u1))
 611 |   | |   ` satisfy
 612 |   | ` rec <hidden>
 613 |   ` pure (\u1 -> u1)
 614 + let <hidden>
 615 | ` <|>
 616 |   + <*>
 617 |   | + <*>
 618 |   | | + pure (\u1 -> (\u2 -> (\u3 -> u1 (u2 u3))))
 619 |   | | ` <*>
 620 |   | |   + ref <hidden>
 621 |   | |   ` <*>
 622 |   | |     + <*>
 623 |   | |     | + <*>
 624 |   | |     | | + pure (\u1 -> (\u2 -> u1))
 625 |   | |     | | ` pure (\u1 -> u1)
 626 |   | |     | ` ref <hidden>
 627 |   | |     ` rec <hidden>
 628 |   | ` rec <hidden>
 629 |   ` pure (\u1 -> u1)
 630 + let <hidden>
 631 | ` <|>
 632 |   + <*>
 633 |   | + <*>
 634 |   | | + pure (\u1 -> (\u2 -> (\u3 -> u1 (u2 u3))))
 635 |   | | ` <*>
 636 |   | |   + ref <hidden>
 637 |   | |   ` <*>
 638 |   | |     + <*>
 639 |   | |     | + <*>
 640 |   | |     | | + pure (\u1 -> (\u2 -> u1))
 641 |   | |     | | ` pure (\u1 -> u1)
 642 |   | |     | ` ref <hidden>
 643 |   | |     ` ref <hidden>
 644 |   | ` rec <hidden>
 645 |   ` pure (\u1 -> u1)
 646 + let <hidden>
 647 | ` <|>
 648 |   + <*>
 649 |   | + <*>
 650 |   | | + pure (\u1 -> (\u2 -> (\u3 -> u1 (u2 u3))))
 651 |   | | ` <*>
 652 |   | |   + ref <hidden>
 653 |   | |   ` <*>
 654 |   | |     + <*>
 655 |   | |     | + <*>
 656 |   | |     | | + pure (\u1 -> (\u2 -> u1))
 657 |   | |     | | ` pure (\u1 -> u1)
 658 |   | |     | ` ref <hidden>
 659 |   | |     ` ref <hidden>
 660 |   | ` rec <hidden>
 661 |   ` pure (\u1 -> u1)
 662 + let <hidden>
 663 | ` <|>
 664 |   + <*>
 665 |   | + <*>
 666 |   | | + pure (\u1 -> (\u2 -> (\u3 -> u1 (u2 u3))))
 667 |   | | ` <*>
 668 |   | |   + ref <hidden>
 669 |   | |   ` <*>
 670 |   | |     + <*>
 671 |   | |     | + <*>
 672 |   | |     | | + pure (\u1 -> (\u2 -> u1))
 673 |   | |     | | ` pure (\u1 -> u1)
 674 |   | |     | ` ref <hidden>
 675 |   | |     ` ref <hidden>
 676 |   | ` rec <hidden>
 677 |   ` pure (\u1 -> u1)
 678 + let <hidden>
 679 | ` <|>
 680 |   + <*>
 681 |   | + <*>
 682 |   | | + pure (\u1 -> (\u2 -> u1))
 683 |   | | ` pure Term
 684 |   | ` <*>
 685 |   |   + <*>
 686 |   |   | + <*>
 687 |   |   | | + pure (\u1 -> (\u2 -> u1))
 688 |   |   | | ` pure (\u1 -> u1)
 689 |   |   | ` ref <hidden>
 690 |   |   ` <*>
 691 |   |     + <*>
 692 |   |     | + <*>
 693 |   |     | | + pure (\u1 -> (\u2 -> u1))
 694 |   |     | | ` pure (\u1 -> u1)
 695 |   |     | ` <*>
 696 |   |     |   + <*>
 697 |   |     |   | + pure ((\u1 -> (\u2 -> (\u3 -> (u1 u3) u2))) (\u1 -> (\u2 -> u1 u2)))
 698 |   |     |   | ` ref <hidden>
 699 |   |     |   ` ref <hidden>
 700 |   |     ` ref <hidden>
 701 |   ` ref <hidden>
 702 + let <hidden>
 703 | ` <|>
 704 |   + <|>
 705 |   | + <*>
 706 |   | | + <*>
 707 |   | | | + <*>
 708 |   | | | | + pure (\u1 -> (\u2 -> u1))
 709 |   | | | | ` pure (\u1 -> u1)
 710 |   | | | ` <|>
 711 |   | | |   + <*>
 712 |   | | |   | + <*>
 713 |   | | |   | | + pure (\u1 -> (\u2 -> u1))
 714 |   | | |   | | ` pure '0'
 715 |   | | |   | ` satisfy
 716 |   | | |   ` <*>
 717 |   | | |     + <*>
 718 |   | | |     | + pure (\u1 -> (\u2 -> u1))
 719 |   | | |     | ` pure '1'
 720 |   | | |     ` satisfy
 721 |   | | ` ref <hidden>
 722 |   | ` <*>
 723 |   |   + <*>
 724 |   |   | + pure (\u1 -> (\u2 -> u1))
 725 |   |   | ` <*>
 726 |   |   |   + <*>
 727 |   |   |   | + <*>
 728 |   |   |   | | + pure (\u1 -> (\u2 -> u1))
 729 |   |   |   | | ` pure (\u1 -> u1)
 730 |   |   |   | ` <*>
 731 |   |   |   |   + <*>
 732 |   |   |   |   | + pure (\u1 -> (\u2 -> u1))
 733 |   |   |   |   | ` pure '\''
 734 |   |   |   |   ` satisfy
 735 |   |   |   ` <|>
 736 |   |   |     + <*>
 737 |   |   |     | + <*>
 738 |   |   |     | | + <*>
 739 |   |   |     | | | + pure (\u1 -> (\u2 -> u1))
 740 |   |   |     | | | ` pure (\u1 -> u1)
 741 |   |   |     | | ` satisfy
 742 |   |   |     | ` ref <hidden>
 743 |   |   |     ` <*>
 744 |   |   |       + <*>
 745 |   |   |       | + <*>
 746 |   |   |       | | + pure (\u1 -> (\u2 -> u1))
 747 |   |   |       | | ` pure (\u1 -> u1)
 748 |   |   |       | ` <*>
 749 |   |   |       |   + <*>
 750 |   |   |       |   | + pure (\u1 -> (\u2 -> u1))
 751 |   |   |       |   | ` pure '\\'
 752 |   |   |       |   ` satisfy
 753 |   |   |       ` <*>
 754 |   |   |         + <*>
 755 |   |   |         | + <*>
 756 |   |   |         | | + pure (\u1 -> (\u2 -> u1))
 757 |   |   |         | | ` pure (\u1 -> u1)
 758 |   |   |         | ` satisfy
 759 |   |   |         ` ref <hidden>
 760 |   |   ` <*>
 761 |   |     + <*>
 762 |   |     | + pure (\u1 -> (\u2 -> u1))
 763 |   |     | ` <*>
 764 |   |     |   + <*>
 765 |   |     |   | + pure (\u1 -> (\u2 -> u1))
 766 |   |     |   | ` pure '\''
 767 |   |     |   ` satisfy
 768 |   |     ` ref <hidden>
 769 |   ` <*>
 770 |     + <*>
 771 |     | + <*>
 772 |     | | + pure (\u1 -> (\u2 -> u1))
 773 |     | | ` pure (\u1 -> u1)
 774 |     | ` ref <hidden>
 775 |     ` <|>
 776 |       + <*>
 777 |       | + <*>
 778 |       | | + pure (\u1 -> (\u2 -> u1))
 779 |       | | ` pure Term
 780 |       | ` <|>
 781 |       |   + <*>
 782 |       |   | + <*>
 783 |       |   | | + pure (\u1 -> (\u2 -> u1))
 784 |       |   | | ` <*>
 785 |       |   | |   + <*>
 786 |       |   | |   | + <*>
 787 |       |   | |   | | + pure (\u1 -> (\u2 -> u1))
 788 |       |   | |   | | ` pure (\u1 -> u1)
 789 |       |   | |   | ` ref <hidden>
 790 |       |   | |   ` <|>
 791 |       |   | |     + <*>
 792 |       |   | |     | + <*>
 793 |       |   | |     | | + pure (\u1 -> (\u2 -> u1))
 794 |       |   | |     | | ` pure Term
 795 |       |   | |     | ` <*>
 796 |       |   | |     |   + <*>
 797 |       |   | |     |   | + <*>
 798 |       |   | |     |   | | + pure (\u1 -> (\u2 -> u1))
 799 |       |   | |     |   | | ` pure (\u1 -> u1)
 800 |       |   | |     |   | ` rec <hidden>
 801 |       |   | |     |   ` <*>
 802 |       |   | |     |     + <*>
 803 |       |   | |     |     | + <*>
 804 |       |   | |     |     | | + pure (\u1 -> (\u2 -> u1))
 805 |       |   | |     |     | | ` pure (\u1 -> u1)
 806 |       |   | |     |     | ` <*>
 807 |       |   | |     |     |   + <*>
 808 |       |   | |     |     |   | + pure ((\u1 -> (\u2 -> (\u3 -> (u1 u3) u2))) (\u1 -> (\u2 -> u1 u2)))
 809 |       |   | |     |     |   | ` ref <hidden>
 810 |       |   | |     |     |   ` ref <hidden>
 811 |       |   | |     |     ` ref <hidden>
 812 |       |   | |     ` ref <hidden>
 813 |       |   | ` ref <hidden>
 814 |       |   ` ref <hidden>
 815 |       ` ref <hidden>
 816 + let <hidden>
 817 | ` pure Term
 818 + let <hidden>
 819 | ` pure Term
 820 + let <hidden>
 821 | ` satisfy
 822 ` <*>
 823   + pure Term
 824   ` <*>
 825     + <*>
 826     | + pure (\u1 -> (\u2 -> u1))
 827     | ` <*>
 828     |   + <*>
 829     |   | + <*>
 830     |   | | + pure (\u1 -> (\u2 -> u1))
 831     |   | | ` pure (\u1 -> u1)
 832     |   | ` ref <hidden>
 833     |   ` <*>
 834     |     + <*>
 835     |     | + <*>
 836     |     | | + pure (\u1 -> (\u2 -> u1))
 837     |     | | ` pure (\u1 -> u1)
 838     |     | ` <*>
 839     |     |   + <*>
 840     |     |   | + pure ((\u1 -> (\u2 -> (\u3 -> (u1 u3) u2))) (\u1 -> (\u2 -> u1 u2)))
 841     |     |   | ` ref <hidden>
 842     |     |   ` ref <hidden>
 843     |     ` ref <hidden>
 844     ` eof