[ghc-hetmet.git] / ghc / tests / typecheck / should_compile / tc089.stderr

ghc: module version changed to 1; reason: no old .hi file
__export ShouldSucceed absAnd absIf bottom f f_rec f_rec0 f_rec1 f_rec2 fac fac_rec fac_rec0 fac_rec1 fac_rec2 fac_rec3 fac_rec4 g g_rec g_rec0 g_rec1 g_rec2 g_rec3 g_rec4 g_rec5 g_rec6 g_rec7 g_rec8 head one s_1_0 s_2_0 s_2_1 s_3_0 s_3_1 s_3_2;
1 absAnd :: __forall [t] => t -> t -> t ;
1 absIf :: __forall [t t1 t2] => t1 -> t -> t2 -> t1 ;
1 bottom :: __forall [t] => [t] -> t ;
1 f :: __forall [t] => t -> t ;
1 f_rec :: __forall [t t1] => (t1 -> t) -> t1 -> t ;
1 f_rec0 :: __forall [t] => t -> t ;
1 f_rec1 :: __forall [t] => t -> t ;
1 f_rec2 :: __forall [t] => t -> t ;
1 fac :: __forall [t t1 t2 t3 t4 t5 t6 t7 t8 t9 t10] => (t, (t8, (t1, (t2, (t3, t4)))), (t9, (t1, (t2, (t3, t4))), (t5, (t2, (t3, t4)), (t6, (t3, t4), (t7, t4, t4))))) -> (t10, (t8, (t1, (t2, (t3, t4))))) -> t ;
1 fac_rec :: __forall [t t1 t2 t3 t4] => (t3 -> t -> t1) -> (t2, t, t3) -> (t4, t) -> t2 ;
1 fac_rec0 :: __forall [t] => t -> t -> t ;
1 fac_rec1 :: __forall [t t1 t2] => (t, t1, t1) -> (t2, t1) -> t ;
1 fac_rec2 :: __forall [t t1 t2 t3 t4] => (t, (t2, t1), (t3, t1, t1)) -> (t4, (t2, t1)) -> t ;
1 fac_rec3 :: __forall [t t1 t2 t3 t4 t5 t6] => (t, (t4, (t1, t2)), (t5, (t1, t2), (t3, t2, t2))) -> (t6, (t4, (t1, t2))) -> t ;
1 fac_rec4 :: __forall [t t1 t2 t3 t4 t5 t6 t7 t8] => (t, (t6, (t1, (t2, t3))), (t7, (t1, (t2, t3)), (t4, (t2, t3), (t5, t3, t3)))) -> (t8, (t6, (t1, (t2, t3)))) -> t ;
1 g :: __forall [t t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 t16 t17 t18 t19 t20 t21 t22 t23 t24 t25 t26 t27 t28 t29 t30 t31 t32 t33 t34 t35 t36 t37 t38 t39 t40 t41 t42 t43 t44 t45 t46 t47 t48 t49 t50 t51 t52 t53 t54 t55 t56 t57 t58 t59 t60 t61 t62 t63 t64 t65 t66 t67 t68 t69 t70 t71 t72 t73 t74 t75 t76 t77 t78 t79 t80 t81 t82 t83 t84 t85 t86 t87 t88 t89 t90 t91 t92 t93 t94 t95 t96 t97 t98 t99 t100 t101 t102 t103 t104 t105 t106 t107 t108 t109 t110 t111 t112 t113 t114 t115 t116 t117 t118 t119 t120 t121 t122 t123 t124 t125 t126 t127 t128 t129 t130 t131 t132 t133 t134 t135 t136 t137 t138 t139 t140 t141 t142 t143 t144 t145 t146 t147 t148 t149 t150 t151 t152 t153 t154 t155 t156 t157 t158 t159 t160 t161 t162 t163 t164 t165 t166 t167 t168 t169 t170 t171 t172 t173 t174 t175 t176 t177 t178 t179 t180 t181 t182 t183 t184 t185 t186 t187 t188 t189 t190 t191 t192 t193 t194 t195 t196 t197 t198 t199 t200 t201 t202 t203 t204 t205 t206 t207 t208 t209 t210 t211 t212 t213 t214 t215 t216 t217 t218 t219 t220 t221 t222 t223 t224 t225 t226 t227 t228 t229 t230 t231 t232 t233 t234 t235 t236 t237 t238 t239 t240 t241 t242 t243 t244 t245 t246 t247 t248 t249 t250 t251 t252 t253 t254 t255 t256 t257 t258 t259 t260 t261 t262 t263 t264 t265 t266 t267 t268 t269 t270 t271 t272 t273 t274 t275 t276 t277 t278 t279 t280 t281 t282 t283 t284 t285 t286 t287 t288 t289 t290 t291 t292 t293 t294 t295 t296 t297 t298 t299 t300 t301 t302 t303 t304 t305 t306 t307 t308 t309 t310 t311 t312 t313 t314 t315 t316 t317 t318 t319 t320 t321 t322 t323 t324 t325 t326 t327 t328 t329 t330 t331 t332 t333 t334 t335 t336 t337 t338 t339 t340 t341 t342 t343 t344 t345 t346 t347 t348 t349 t350 t351 t352 t353 t354 t355 t356 t357 t358 t359 t360 t361 t362 t363 t364 t365 t366 t367 t368 t369 t370 t371 t372 t373 t374 t375 t376 t377 t378 t379 t380 t381 t382 t383 t384 t385 t386 t387 t388 t389 t390 t391 t392 t393 t394 t395 t396 t397 t398 t399 t400 t401 t402 t403 t404 t405 t406 t407 t408 t409 t410 t411 t412 t413 t414 t415 t416 t417 t418 t419 t420 t421 t422 t423 t424 t425 t426 t427 t428 t429 t430 t431 t432 t433 t434 t435 t436 t437 t438 t439 t440 t441 t442 t443 t444 t445 t446 t447 t448 t449 t450 t451 t452 t453 t454 t455 t456 t457 t458 t459 t460 t461 t462 t463 t464 t465 t466 t467 t468 t469 t470 t471 t472 t473 t474 t475 t476 t477 t478 t479 t480 t481 t482 t483 t484 t485 t486 t487 t488 t489 t490 t491 t492 t493 t494 t495 t496 t497 t498 t499 t500 t501 t502 t503 t504 t505 t506 t507 t508 t509 t510 t511 t512 t513 t514 t515] => t515 -> t1 -> (t515, t259, t258) -> (t, (t257, (t2, (t3, (t4, (t5, (t6, (t7, (t8, t9, t9), (t8, t10, t10)), (t7, (t11, t12, t12), (t11, t13, t13))), (t6, (t14, (t15, t16, t16), (t15, t17, t17)), (t14, (t18, t19, t19), (t18, t20, t20)))), (t5, (t21, (t22, (t23, t24, t24), (t23, t25, t25)), (t22, (t26, t27, t27), (t26, t28, t28))), (t21, (t29, (t30, t31, t31), (t30, t32, t32)), (t29, (t33, t34, t34), (t33, t35, t35))))), (t4, (t36, (t37, (t38, (t39, t40, t40), (t39, t41, t41)), (t38, (t42, t43, t43), (t42, t44, t44))), (t37, (t45, (t46, t47, t47), (t46, t48, t48)), (t45, (t49, t50, t50), (t49, t51, t51)))), (t36, (t52, (t53, (t54, t55, t55), (t54, t56, t56)), (t53, (t57, t58, t58), (t57, t59, t59))), (t52, (t60, (t61, t62, t62), (t61, t63, t63)), (t60, (t64, t65, t65), (t64, t66, t66)))))), (t3, (t67, (t68, (t69, (t70, (t71, t72, t72), (t71, t73, t73)), (t70, (t74, t75, t75), (t74, t76, t76))), (t69, (t77, (t78, t79, t79), (t78, t80, t80)), (t77, (t81, t82, t82), (t81, t83, t83)))), (t68, (t84, (t85, (t86, t87, t87), (t86, t88, t88)), (t85, (t89, t90, t90), (t89, t91, t91))), (t84, (t92, (t93, t94, t94), (t93, t95, t95)), (t92, (t96, t97, t97), (t96, t98, t98))))), (t67, (t99, (t100, (t101, (t102, t103, t103), (t102, t104, t104)), (t101, (t105, t106, t106), (t105, t107, t107))), (t100, (t108, (t109, t110, t110), (t109, t111, t111)), (t108, (t112, t113, t113), (t112, t114, t114)))), (t99, (t115, (t116, (t117, t118, t118), (t117, t119, t119)), (t116, (t120, t121, t121), (t120, t122, t122))), (t115, (t123, (t124, t125, t125), (t124, t126, t126)), (t123, (t127, t128, t128), (t127, t129, t129))))))), (t2, (t130, (t131, (t132, (t133, (t134, (t135, t136, t136), (t135, t137, t137)), (t134, (t138, t139, t139), (t138, t140, t140))), (t133, (t141, (t142, t143, t143), (t142, t144, t144)), (t141, (t145, t146, t146), (t145, t147, t147)))), (t132, (t148, (t149, (t150, t151, t151), (t150, t152, t152)), (t149, (t153, t154, t154), (t153, t155, t155))), (t148, (t156, (t157, t158, t158), (t157, t159, t159)), (t156, (t160, t161, t161), (t160, t162, t162))))), (t131, (t163, (t164, (t165, (t166, t167, t167), (t166, t168, t168)), (t165, (t169, t170, t170), (t169, t171, t171))), (t164, (t172, (t173, t174, t174), (t173, t175, t175)), (t172, (t176, t177, t177), (t176, t178, t178)))), (t163, (t179, (t180, (t181, t182, t182), (t181, t183, t183)), (t180, (t184, t185, t185), (t184, t186, t186))), (t179, (t187, (t188, t189, t189), (t188, t190, t190)), (t187, (t191, t192, t192), (t191, t193, t193)))))), (t130, (t194, (t195, (t196, (t197, (t198, t199, t199), (t198, t200, t200)), (t197, (t201, t202, t202), (t201, t203, t203))), (t196, (t204, (t205, t206, t206), (t205, t207, t207)), (t204, (t208, t209, t209), (t208, t210, t210)))), (t195, (t211, (t212, (t213, t214, t214), (t213, t215, t215)), (t212, (t216, t217, t217), (t216, t218, t218))), (t211, (t219, (t220, t221, t221), (t220, t222, t222)), (t219, (t223, t224, t224), (t223, t225, t225))))), (t194, (t226, (t227, (t228, (t229, t230, t230), (t229, t231, t231)), (t228, (t232, t233, t233), (t232, t234, t234))), (t227, (t235, (t236, t237, t237), (t236, t238, t238)), (t235, (t239, t240, t240), (t239, t241, t241)))), (t226, (t242, (t243, (t244, t245, t245), (t244, t246, t246)), (t243, (t247, t248, t248), (t247, t249, t249))), (t242, (t250, (t251, t252, t252), (t251, t253, t253)), (t250, (t254, t255, t255), (t254, t256, t256)))))))), (t257, (t260, (t261, (t262, (t263, (t264, (t265, (t266, t267, t267), (t266, t268, t268)), (t265, (t269, t270, t270), (t269, t271, t271))), (t264, (t272, (t273, t274, t274), (t273, t275, t275)), (t272, (t276, t277, t277), (t276, t278, t278)))), (t263, (t279, (t280, (t281, t282, t282), (t281, t283, t283)), (t280, (t284, t285, t285), (t284, t286, t286))), (t279, (t287, (t288, t289, t289), (t288, t290, t290)), (t287, (t291, t292, t292), (t291, t293, t293))))), (t262, (t294, (t295, (t296, (t297, t298, t298), (t297, t299, t299)), (t296, (t300, t301, t301), (t300, t302, t302))), (t295, (t303, (t304, t305, t305), (t304, t306, t306)), (t303, (t307, t308, t308), (t307, t309, t309)))), (t294, (t310, (t311, (t312, t313, t313), (t312, t314, t314)), (t311, (t315, t316, t316), (t315, t317, t317))), (t310, (t318, (t319, t320, t320), (t319, t321, t321)), (t318, (t322, t323, t323), (t322, t324, t324)))))), (t261, (t325, (t326, (t327, (t328, (t329, t330, t330), (t329, t331, t331)), (t328, (t332, t333, t333), (t332, t334, t334))), (t327, (t335, (t336, t337, t337), (t336, t338, t338)), (t335, (t339, t340, t340), (t339, t341, t341)))), (t326, (t342, (t343, (t344, t345, t345), (t344, t346, t346)), (t343, (t347, t348, t348), (t347, t349, t349))), (t342, (t350, (t351, t352, t352), (t351, t353, t353)), (t350, (t354, t355, t355), (t354, t356, t356))))), (t325, (t357, (t358, (t359, (t360, t361, t361), (t360, t362, t362)), (t359, (t363, t364, t364), (t363, t365, t365))), (t358, (t366, (t367, t368, t368), (t367, t369, t369)), (t366, (t370, t371, t371), (t370, t372, t372)))), (t357, (t373, (t374, (t375, t376, t376), (t375, t377, t377)), (t374, (t378, t379, t379), (t378, t380, t380))), (t373, (t381, (t382, t383, t383), (t382, t384, t384)), (t381, (t385, t386, t386), (t385, t387, t387))))))), (t260, (t388, (t389, (t390, (t391, (t392, (t393, t394, t394), (t393, t395, t395)), (t392, (t396, t397, t397), (t396, t398, t398))), (t391, (t399, (t400, t401, t401), (t400, t402, t402)), (t399, (t403, t404, t404), (t403, t405, t405)))), (t390, (t406, (t407, (t408, t409, t409), (t408, t410, t410)), (t407, (t411, t412, t412), (t411, t413, t413))), (t406, (t414, (t415, t416, t416), (t415, t417, t417)), (t414, (t418, t419, t419), (t418, t420, t420))))), (t389, (t421, (t422, (t423, (t424, t425, t425), (t424, t426, t426)), (t423, (t427, t428, t428), (t427, t429, t429))), (t422, (t430, (t431, t432, t432), (t431, t433, t433)), (t430, (t434, t435, t435), (t434, t436, t436)))), (t421, (t437, (t438, (t439, t440, t440), (t439, t441, t441)), (t438, (t442, t443, t443), (t442, t444, t444))), (t437, (t445, (t446, t447, t447), (t446, t448, t448)), (t445, (t449, t450, t450), (t449, t451, t451)))))), (t388, (t452, (t453, (t454, (t455, (t456, t457, t457), (t456, t458, t458)), (t455, (t459, t460, t460), (t459, t461, t461))), (t454, (t462, (t463, t464, t464), (t463, t465, t465)), (t462, (t466, t467, t467), (t466, t468, t468)))), (t453, (t469, (t470, (t471, t472, t472), (t471, t473, t473)), (t470, (t474, t475, t475), (t474, t476, t476))), (t469, (t477, (t478, t479, t479), (t478, t480, t480)), (t477, (t481, t482, t482), (t481, t483, t483))))), (t452, (t484, (t485, (t486, (t487, t488, t488), (t487, t489, t489)), (t486, (t490, t491, t491), (t490, t492, t492))), (t485, (t493, (t494, t495, t495), (t494, t496, t496)), (t493, (t497, t498, t498), (t497, t499, t499)))), (t484, (t500, (t501, (t502, t503, t503), (t502, t504, t504)), (t501, (t505, t506, t506), (t505, t507, t507))), (t500, (t508, (t509, t510, t510), (t509, t511, t511)), (t508, (t512, t513, t513), (t512, t514, t514))))))))) -> t ;
1 g_rec :: __forall [t t1 t2 t3 t4 t5 t6 t7 t8 t9 t10] => (t1 -> t2 -> t3 -> t10 -> t) -> (t8 -> t4 -> t5 -> t6 -> t) -> t7 -> t1 -> (t7, t4, t8) -> (t9, t10, t6) -> t9 ;
1 g_rec0 :: __forall [t] => t -> t -> t -> t -> t ;
1 g_rec1 :: __forall [t t1 t2] => t2 -> t1 -> (t2, t1, t1) -> (t, t1, t1) -> t ;
1 g_rec2 :: __forall [t t1 t2 t3 t4 t5 t6] => t6 -> t1 -> (t6, t5, t4) -> (t, (t3, t2, t2), (t3, t5, t5)) -> t ;
1 g_rec3 :: __forall [t t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11] => t11 -> t1 -> (t11, t7, t6) -> (t, (t5, (t3, t4, t4), (t3, t2, t2)), (t5, (t9, t10, t10), (t9, t8, t8))) -> t ;
1 g_rec4 :: __forall [t t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 t16 t17 t18 t19] => t19 -> t1 -> (t19, t11, t10) -> (t, (t9, (t2, (t3, t4, t4), (t3, t5, t5)), (t2, (t6, t7, t7), (t6, t8, t8))), (t9, (t12, (t13, t14, t14), (t13, t15, t15)), (t12, (t16, t17, t17), (t16, t18, t18)))) -> t ;
1 g_rec5 :: __forall [t t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 t16 t17 t18 t19 t20 t21 t22 t23 t24 t25 t26 t27 t28 t29 t30 t31 t32 t33 t34 t35] => t35 -> t1 -> (t35, t19, t18) -> (t, (t17, (t2, (t3, (t4, t5, t5), (t4, t6, t6)), (t3, (t7, t8, t8), (t7, t9, t9))), (t2, (t10, (t11, t12, t12), (t11, t13, t13)), (t10, (t14, t15, t15), (t14, t16, t16)))), (t17, (t20, (t21, (t22, t23, t23), (t22, t24, t24)), (t21, (t25, t26, t26), (t25, t27, t27))), (t20, (t28, (t29, t30, t30), (t29, t31, t31)), (t28, (t32, t33, t33), (t32, t34, t34))))) -> t ;
1 g_rec6 :: __forall [t t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 t16 t17 t18 t19 t20 t21 t22 t23 t24 t25 t26 t27 t28 t29 t30 t31 t32 t33 t34 t35 t36 t37 t38 t39 t40 t41 t42 t43 t44 t45 t46 t47 t48 t49 t50 t51 t52 t53 t54 t55 t56 t57 t58 t59 t60 t61 t62 t63 t64 t65 t66 t67] => t67 -> t1 -> (t67, t35, t34) -> (t, (t33, (t2, (t3, (t4, (t5, t6, t6), (t5, t7, t7)), (t4, (t8, t9, t9), (t8, t10, t10))), (t3, (t11, (t12, t13, t13), (t12, t14, t14)), (t11, (t15, t16, t16), (t15, t17, t17)))), (t2, (t18, (t19, (t20, t21, t21), (t20, t22, t22)), (t19, (t23, t24, t24), (t23, t25, t25))), (t18, (t26, (t27, t28, t28), (t27, t29, t29)), (t26, (t30, t31, t31), (t30, t32, t32))))), (t33, (t36, (t37, (t38, (t39, t40, t40), (t39, t41, t41)), (t38, (t42, t43, t43), (t42, t44, t44))), (t37, (t45, (t46, t47, t47), (t46, t48, t48)), (t45, (t49, t50, t50), (t49, t51, t51)))), (t36, (t52, (t53, (t54, t55, t55), (t54, t56, t56)), (t53, (t57, t58, t58), (t57, t59, t59))), (t52, (t60, (t61, t62, t62), (t61, t63, t63)), (t60, (t64, t65, t65), (t64, t66, t66)))))) -> t ;
1 g_rec7 :: __forall [t t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 t16 t17 t18 t19 t20 t21 t22 t23 t24 t25 t26 t27 t28 t29 t30 t31 t32 t33 t34 t35 t36 t37 t38 t39 t40 t41 t42 t43 t44 t45 t46 t47 t48 t49 t50 t51 t52 t53 t54 t55 t56 t57 t58 t59 t60 t61 t62 t63 t64 t65 t66 t67 t68 t69 t70 t71 t72 t73 t74 t75 t76 t77 t78 t79 t80 t81 t82 t83 t84 t85 t86 t87 t88 t89 t90 t91 t92 t93 t94 t95 t96 t97 t98 t99 t100 t101 t102 t103 t104 t105 t106 t107 t108 t109 t110 t111 t112 t113 t114 t115 t116 t117 t118 t119 t120 t121 t122 t123 t124 t125 t126 t127 t128 t129 t130 t131] => t131 -> t1 -> (t131, t67, t66) -> (t, (t65, (t2, (t3, (t4, (t5, (t6, t7, t7), (t6, t8, t8)), (t5, (t9, t10, t10), (t9, t11, t11))), (t4, (t12, (t13, t14, t14), (t13, t15, t15)), (t12, (t16, t17, t17), (t16, t18, t18)))), (t3, (t19, (t20, (t21, t22, t22), (t21, t23, t23)), (t20, (t24, t25, t25), (t24, t26, t26))), (t19, (t27, (t28, t29, t29), (t28, t30, t30)), (t27, (t31, t32, t32), (t31, t33, t33))))), (t2, (t34, (t35, (t36, (t37, t38, t38), (t37, t39, t39)), (t36, (t40, t41, t41), (t40, t42, t42))), (t35, (t43, (t44, t45, t45), (t44, t46, t46)), (t43, (t47, t48, t48), (t47, t49, t49)))), (t34, (t50, (t51, (t52, t53, t53), (t52, t54, t54)), (t51, (t55, t56, t56), (t55, t57, t57))), (t50, (t58, (t59, t60, t60), (t59, t61, t61)), (t58, (t62, t63, t63), (t62, t64, t64)))))), (t65, (t68, (t69, (t70, (t71, (t72, t73, t73), (t72, t74, t74)), (t71, (t75, t76, t76), (t75, t77, t77))), (t70, (t78, (t79, t80, t80), (t79, t81, t81)), (t78, (t82, t83, t83), (t82, t84, t84)))), (t69, (t85, (t86, (t87, t88, t88), (t87, t89, t89)), (t86, (t90, t91, t91), (t90, t92, t92))), (t85, (t93, (t94, t95, t95), (t94, t96, t96)), (t93, (t97, t98, t98), (t97, t99, t99))))), (t68, (t100, (t101, (t102, (t103, t104, t104), (t103, t105, t105)), (t102, (t106, t107, t107), (t106, t108, t108))), (t101, (t109, (t110, t111, t111), (t110, t112, t112)), (t109, (t113, t114, t114), (t113, t115, t115)))), (t100, (t116, (t117, (t118, t119, t119), (t118, t120, t120)), (t117, (t121, t122, t122), (t121, t123, t123))), (t116, (t124, (t125, t126, t126), (t125, t127, t127)), (t124, (t128, t129, t129), (t128, t130, t130))))))) -> t ;
1 g_rec8 :: __forall [t t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 t16 t17 t18 t19 t20 t21 t22 t23 t24 t25 t26 t27 t28 t29 t30 t31 t32 t33 t34 t35 t36 t37 t38 t39 t40 t41 t42 t43 t44 t45 t46 t47 t48 t49 t50 t51 t52 t53 t54 t55 t56 t57 t58 t59 t60 t61 t62 t63 t64 t65 t66 t67 t68 t69 t70 t71 t72 t73 t74 t75 t76 t77 t78 t79 t80 t81 t82 t83 t84 t85 t86 t87 t88 t89 t90 t91 t92 t93 t94 t95 t96 t97 t98 t99 t100 t101 t102 t103 t104 t105 t106 t107 t108 t109 t110 t111 t112 t113 t114 t115 t116 t117 t118 t119 t120 t121 t122 t123 t124 t125 t126 t127 t128 t129 t130 t131 t132 t133 t134 t135 t136 t137 t138 t139 t140 t141 t142 t143 t144 t145 t146 t147 t148 t149 t150 t151 t152 t153 t154 t155 t156 t157 t158 t159 t160 t161 t162 t163 t164 t165 t166 t167 t168 t169 t170 t171 t172 t173 t174 t175 t176 t177 t178 t179 t180 t181 t182 t183 t184 t185 t186 t187 t188 t189 t190 t191 t192 t193 t194 t195 t196 t197 t198 t199 t200 t201 t202 t203 t204 t205 t206 t207 t208 t209 t210 t211 t212 t213 t214 t215 t216 t217 t218 t219 t220 t221 t222 t223 t224 t225 t226 t227 t228 t229 t230 t231 t232 t233 t234 t235 t236 t237 t238 t239 t240 t241 t242 t243 t244 t245 t246 t247 t248 t249 t250 t251 t252 t253 t254 t255 t256 t257 t258 t259] => t259 -> t1 -> (t259, t131, t130) -> (t, (t129, (t2, (t3, (t4, (t5, (t6, (t7, t8, t8), (t7, t9, t9)), (t6, (t10, t11, t11), (t10, t12, t12))), (t5, (t13, (t14, t15, t15), (t14, t16, t16)), (t13, (t17, t18, t18), (t17, t19, t19)))), (t4, (t20, (t21, (t22, t23, t23), (t22, t24, t24)), (t21, (t25, t26, t26), (t25, t27, t27))), (t20, (t28, (t29, t30, t30), (t29, t31, t31)), (t28, (t32, t33, t33), (t32, t34, t34))))), (t3, (t35, (t36, (t37, (t38, t39, t39), (t38, t40, t40)), (t37, (t41, t42, t42), (t41, t43, t43))), (t36, (t44, (t45, t46, t46), (t45, t47, t47)), (t44, (t48, t49, t49), (t48, t50, t50)))), (t35, (t51, (t52, (t53, t54, t54), (t53, t55, t55)), (t52, (t56, t57, t57), (t56, t58, t58))), (t51, (t59, (t60, t61, t61), (t60, t62, t62)), (t59, (t63, t64, t64), (t63, t65, t65)))))), (t2, (t66, (t67, (t68, (t69, (t70, t71, t71), (t70, t72, t72)), (t69, (t73, t74, t74), (t73, t75, t75))), (t68, (t76, (t77, t78, t78), (t77, t79, t79)), (t76, (t80, t81, t81), (t80, t82, t82)))), (t67, (t83, (t84, (t85, t86, t86), (t85, t87, t87)), (t84, (t88, t89, t89), (t88, t90, t90))), (t83, (t91, (t92, t93, t93), (t92, t94, t94)), (t91, (t95, t96, t96), (t95, t97, t97))))), (t66, (t98, (t99, (t100, (t101, t102, t102), (t101, t103, t103)), (t100, (t104, t105, t105), (t104, t106, t106))), (t99, (t107, (t108, t109, t109), (t108, t110, t110)), (t107, (t111, t112, t112), (t111, t113, t113)))), (t98, (t114, (t115, (t116, t117, t117), (t116, t118, t118)), (t115, (t119, t120, t120), (t119, t121, t121))), (t114, (t122, (t123, t124, t124), (t123, t125, t125)), (t122, (t126, t127, t127), (t126, t128, t128))))))), (t129, (t132, (t133, (t134, (t135, (t136, (t137, t138, t138), (t137, t139, t139)), (t136, (t140, t141, t141), (t140, t142, t142))), (t135, (t143, (t144, t145, t145), (t144, t146, t146)), (t143, (t147, t148, t148), (t147, t149, t149)))), (t134, (t150, (t151, (t152, t153, t153), (t152, t154, t154)), (t151, (t155, t156, t156), (t155, t157, t157))), (t150, (t158, (t159, t160, t160), (t159, t161, t161)), (t158, (t162, t163, t163), (t162, t164, t164))))), (t133, (t165, (t166, (t167, (t168, t169, t169), (t168, t170, t170)), (t167, (t171, t172, t172), (t171, t173, t173))), (t166, (t174, (t175, t176, t176), (t175, t177, t177)), (t174, (t178, t179, t179), (t178, t180, t180)))), (t165, (t181, (t182, (t183, t184, t184), (t183, t185, t185)), (t182, (t186, t187, t187), (t186, t188, t188))), (t181, (t189, (t190, t191, t191), (t190, t192, t192)), (t189, (t193, t194, t194), (t193, t195, t195)))))), (t132, (t196, (t197, (t198, (t199, (t200, t201, t201), (t200, t202, t202)), (t199, (t203, t204, t204), (t203, t205, t205))), (t198, (t206, (t207, t208, t208), (t207, t209, t209)), (t206, (t210, t211, t211), (t210, t212, t212)))), (t197, (t213, (t214, (t215, t216, t216), (t215, t217, t217)), (t214, (t218, t219, t219), (t218, t220, t220))), (t213, (t221, (t222, t223, t223), (t222, t224, t224)), (t221, (t225, t226, t226), (t225, t227, t227))))), (t196, (t228, (t229, (t230, (t231, t232, t232), (t231, t233, t233)), (t230, (t234, t235, t235), (t234, t236, t236))), (t229, (t237, (t238, t239, t239), (t238, t240, t240)), (t237, (t241, t242, t242), (t241, t243, t243)))), (t228, (t244, (t245, (t246, t247, t247), (t246, t248, t248)), (t245, (t249, t250, t250), (t249, t251, t251))), (t244, (t252, (t253, t254, t254), (t253, t255, t255)), (t252, (t256, t257, t257), (t256, t258, t258)))))))) -> t ;
1 head :: __forall [t] => [t] -> t ;
1 one :: __forall [t] => t ;
1 s_1_0 :: __forall [t] => t -> t ;
1 s_2_0 :: __forall [t t1] => (t, t1) -> t ;
1 s_2_1 :: __forall [t t1] => (t1, t) -> t ;
1 s_3_0 :: __forall [t t1 t2] => (t, t1, t2) -> t ;
1 s_3_1 :: __forall [t t1 t2] => (t1, t, t2) -> t ;
1 s_3_2 :: __forall [t t1 t2] => (t1, t2, t) -> t ;