Created
December 30, 2017 15:31
-
-
Save mpickering/bb395581d8c2b4d6c66636875dcfce94 to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
==================== Tidy Core ==================== | |
2017-12-30 15:28:41.989645875 UTC | |
Result size of Tidy Core | |
= {terms: 2,591, types: 5,389, coercions: 1,238, joins: 0/8} | |
-- RHS size: {terms: 55, types: 22, coercions: 0, joins: 0/0} | |
$WHugeStruct | |
$WHugeStruct | |
= \ dt_a2Mu | |
dt_a2Mv | |
dt_a2Mw | |
dt_a2Mx | |
dt_a2My | |
dt_a2Mz | |
dt_a2MA | |
dt_a2MB | |
dt_a2MC | |
dt_a2MD | |
dt_a2ME | |
dt_a2MF -> | |
case dt_a2Mw of dt_X2MJ { __DEFAULT -> | |
case dt_a2Mx of dt_X2ML { __DEFAULT -> | |
case dt_a2My of dt_X2MN { __DEFAULT -> | |
case dt_a2Mz of dt_X2MP { __DEFAULT -> | |
case dt_a2MA of dt_X2MR { __DEFAULT -> | |
case dt_a2MB of dt_X2MT { __DEFAULT -> | |
case dt_a2MC of dt_X2MV { __DEFAULT -> | |
case dt_a2MD of dt_X2MX { __DEFAULT -> | |
case dt_a2ME of dt_X2MZ { __DEFAULT -> | |
case dt_a2MF of dt_X2N1 { __DEFAULT -> | |
HugeStruct | |
dt_a2Mu | |
dt_a2Mv | |
dt_X2MJ | |
dt_X2ML | |
dt_X2MN | |
dt_X2MP | |
dt_X2MR | |
dt_X2MT | |
dt_X2MV | |
dt_X2MX | |
dt_X2MZ | |
dt_X2N1 | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
-- RHS size: {terms: 4, types: 9, coercions: 0, joins: 0/0} | |
main1 | |
main1 = \ s_a4yB -> (# s_a4yB, () #) | |
-- RHS size: {terms: 1, types: 0, coercions: 3, joins: 0/0} | |
main | |
main = main1 `cast` <Co:3> | |
-- RHS size: {terms: 2, types: 1, coercions: 3, joins: 0/0} | |
main2 | |
main2 = runMainIO1 (main1 `cast` <Co:3>) | |
-- RHS size: {terms: 1, types: 0, coercions: 3, joins: 0/0} | |
main | |
main = main2 `cast` <Co:3> | |
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} | |
lvl_r6t9 | |
lvl_r6t9 = "UNUSED"# | |
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0} | |
lvl1_r6ta | |
lvl1_r6ta = unpackCString# lvl_r6t9 | |
-- RHS size: {terms: 2, types: 2, coercions: 0, joins: 0/0} | |
lvl2_r6tb | |
lvl2_r6tb = FormFailure [] | |
-- RHS size: {terms: 3, types: 3, coercions: 0, joins: 0/0} | |
lvl3_r6tc | |
lvl3_r6tc = (lvl2_r6tb, ()) | |
-- RHS size: {terms: 12, types: 30, coercions: 2, joins: 0/0} | |
ff1_r6td | |
ff1_r6td | |
= \ @ m_a4cn $dMonadIO_a4cp _ _ eta2_B1 -> | |
return | |
($p1MonadIO $dMonadIO_a4cp) | |
(lvl3_r6tc, eta2_B1, False `cast` <Co:2>) | |
-- RHS size: {terms: 1, types: 0, coercions: 24, joins: 0/0} | |
ff | |
ff = ff1_r6td `cast` <Co:24> | |
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} | |
mreq | |
mreq = ff | |
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} | |
$tc'FormFailure3 | |
$tc'FormFailure3 = "'FormFailure"# | |
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0} | |
$tc'FormFailure2 | |
$tc'FormFailure2 = TrNameS $tc'FormFailure3 | |
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} | |
$tc'FormSuccess3 | |
$tc'FormSuccess3 = "'FormSuccess"# | |
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0} | |
$tc'FormSuccess2 | |
$tc'FormSuccess2 = TrNameS $tc'FormSuccess3 | |
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} | |
$tc'FormMissing3 | |
$tc'FormMissing3 = "'FormMissing"# | |
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0} | |
$tc'FormMissing2 | |
$tc'FormMissing2 = TrNameS $tc'FormMissing3 | |
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} | |
$tcFormResult2 | |
$tcFormResult2 = "FormResult"# | |
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0} | |
$tcFormResult1 | |
$tcFormResult1 = TrNameS $tcFormResult2 | |
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} | |
$tc'HugeStruct3 | |
$tc'HugeStruct3 = "'HugeStruct"# | |
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0} | |
$tc'HugeStruct2 | |
$tc'HugeStruct2 = TrNameS $tc'HugeStruct3 | |
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} | |
$tcHugeStruct2 | |
$tcHugeStruct2 = "HugeStruct"# | |
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0} | |
$tcHugeStruct1 | |
$tcHugeStruct1 = TrNameS $tcHugeStruct2 | |
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0} | |
$krep_r6te | |
$krep_r6te = KindRepVar 0# | |
-- RHS size: {terms: 3, types: 2, coercions: 0, joins: 0/0} | |
$krep1_r6tf | |
$krep1_r6tf = : $krep_r6te [] | |
-- RHS size: {terms: 3, types: 1, coercions: 0, joins: 0/0} | |
$krep2_r6tg | |
$krep2_r6tg = KindRepTyConApp $tcByteString [] | |
-- RHS size: {terms: 3, types: 2, coercions: 0, joins: 0/0} | |
$krep3_r6th | |
$krep3_r6th = : $krep2_r6tg [] | |
-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0} | |
$krep4_r6ti | |
$krep4_r6ti = KindRepTyConApp $tc[] $krep3_r6th | |
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} | |
$trModule2 | |
$trModule2 = "Main"# | |
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0} | |
$trModule1 | |
$trModule1 = TrNameS $trModule2 | |
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} | |
$trModule4 | |
$trModule4 = "main"# | |
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0} | |
$trModule3 | |
$trModule3 = TrNameS $trModule4 | |
-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0} | |
$trModule | |
$trModule = Module $trModule3 $trModule1 | |
-- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0} | |
$tcHugeStruct | |
$tcHugeStruct | |
= TyCon | |
1857420567134068765## | |
14678371527100160534## | |
$trModule | |
$tcHugeStruct1 | |
0# | |
krep$* | |
-- RHS size: {terms: 3, types: 1, coercions: 0, joins: 0/0} | |
$krep5_r6tj | |
$krep5_r6tj = KindRepTyConApp $tcHugeStruct [] | |
-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0} | |
$krep6_r6tk | |
$krep6_r6tk = KindRepFun $krep2_r6tg $krep5_r6tj | |
-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0} | |
$krep7_r6tl | |
$krep7_r6tl = KindRepFun $krep2_r6tg $krep6_r6tk | |
-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0} | |
$krep8_r6tm | |
$krep8_r6tm = KindRepFun $krep2_r6tg $krep7_r6tl | |
-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0} | |
$krep9_r6tn | |
$krep9_r6tn = KindRepFun $krep2_r6tg $krep8_r6tm | |
-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0} | |
$krep10_r6to | |
$krep10_r6to = KindRepFun $krep2_r6tg $krep9_r6tn | |
-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0} | |
$krep11_r6tp | |
$krep11_r6tp = KindRepFun $krep2_r6tg $krep10_r6to | |
-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0} | |
$krep12_r6tq | |
$krep12_r6tq = KindRepFun $krep2_r6tg $krep11_r6tp | |
-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0} | |
$krep13_r6tr | |
$krep13_r6tr = KindRepFun $krep2_r6tg $krep12_r6tq | |
-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0} | |
$krep14_r6ts | |
$krep14_r6ts = KindRepFun $krep2_r6tg $krep13_r6tr | |
-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0} | |
$krep15_r6tt | |
$krep15_r6tt = KindRepFun $krep2_r6tg $krep14_r6ts | |
-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0} | |
$krep16_r6tu | |
$krep16_r6tu = KindRepFun $krep2_r6tg $krep15_r6tt | |
-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0} | |
$tc'HugeStruct1 | |
$tc'HugeStruct1 = KindRepFun $krep2_r6tg $krep16_r6tu | |
-- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0} | |
$tc'HugeStruct | |
$tc'HugeStruct | |
= TyCon | |
518970434036392709## | |
11174567652341305894## | |
$trModule | |
$tc'HugeStruct2 | |
0# | |
$tc'HugeStruct1 | |
-- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0} | |
$tcFormResult | |
$tcFormResult | |
= TyCon | |
5658363268075670373## | |
10972980940888229915## | |
$trModule | |
$tcFormResult1 | |
0# | |
krep$*Arr* | |
-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0} | |
$tc'FormMissing1 | |
$tc'FormMissing1 = KindRepTyConApp $tcFormResult $krep1_r6tf | |
-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0} | |
$tc'FormSuccess1 | |
$tc'FormSuccess1 = KindRepFun $krep_r6te $tc'FormMissing1 | |
-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0} | |
$tc'FormFailure1 | |
$tc'FormFailure1 = KindRepFun $krep4_r6ti $tc'FormMissing1 | |
-- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0} | |
$tc'FormMissing | |
$tc'FormMissing | |
= TyCon | |
11512148421378234118## | |
16314752202312705574## | |
$trModule | |
$tc'FormMissing2 | |
1# | |
$tc'FormMissing1 | |
-- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0} | |
$tc'FormSuccess | |
$tc'FormSuccess | |
= TyCon | |
10448555138935307181## | |
14399340163144820274## | |
$trModule | |
$tc'FormSuccess2 | |
1# | |
$tc'FormSuccess1 | |
-- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0} | |
$tc'FormFailure | |
$tc'FormFailure | |
= TyCon | |
8529234662721145152## | |
756136415342434912## | |
$trModule | |
$tc'FormFailure2 | |
1# | |
$tc'FormFailure1 | |
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} | |
n | |
n = Nothing | |
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0} | |
$fShowFormResult1 | |
$fShowFormResult1 = I# 0# | |
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0} | |
$fShowFormResult4 | |
$fShowFormResult4 = I# 11# | |
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} | |
$fShowFormResult3 | |
$fShowFormResult3 = "FormSuccess "# | |
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0} | |
$fShowFormResult2 | |
$fShowFormResult2 = unpackCString# $fShowFormResult3 | |
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} | |
$fShowFormResult8 | |
$fShowFormResult8 = "FormMissing"# | |
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0} | |
$fShowFormResult7 | |
$fShowFormResult7 = unpackCString# $fShowFormResult8 | |
-- RHS size: {terms: 2, types: 1, coercions: 0, joins: 0/0} | |
$fShowFormResult6 | |
$fShowFormResult6 = ++ $fShowFormResult7 | |
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} | |
$fShowFormResult5 | |
$fShowFormResult5 = "FormFailure "# | |
-- RHS size: {terms: 113, types: 68, coercions: 0, joins: 0/4} | |
$fShowFormResult_$cshowsPrec | |
$fShowFormResult_$cshowsPrec | |
= \ @ a_a4ft $dShow_a4fu ds_d4nB ds1_d4nC -> | |
case ds1_d4nC of { | |
FormMissing -> $fShowFormResult6; | |
FormFailure b1_a39J -> | |
case ds_d4nB of { I# x_a4up -> | |
let { | |
p_s5QP | |
p_s5QP | |
= \ x1_a4nS -> | |
unpackAppendCString# | |
$fShowFormResult5 | |
(case b1_a39J of { | |
[] -> unpackAppendCString# showList__4 x1_a4nS; | |
: x2_a4tA xs_a4tB -> | |
: showList__3 | |
(: $fShow(,)3 | |
(case x2_a4tA of { PS ww1_a4tY ww2_a4tZ ww3_a4u0 ww4_a4u1 -> | |
showLitString | |
($wunpackAppendCharsLazy ww1_a4tY ww2_a4tZ ww3_a4u0 ww4_a4u1 []) | |
(: $fShow(,)3 | |
(let { | |
lvl45_s5QU | |
lvl45_s5QU = : showList__2 x1_a4nS } in | |
letrec { | |
showl_s5QT | |
showl_s5QT | |
= \ ds2_a4tG -> | |
case ds2_a4tG of { | |
[] -> lvl45_s5QU; | |
: y_a4tM ys_a4tN -> | |
: showList__1 | |
(: $fShow(,)3 | |
(case y_a4tM of | |
{ PS ww8_X4yu ww9_X4yw ww10_X4yy ww11_X4yA -> | |
showLitString | |
($wunpackAppendCharsLazy | |
ww8_X4yu | |
ww9_X4yw | |
ww10_X4yy | |
ww11_X4yA | |
[]) | |
(: $fShow(,)3 (showl_s5QT ys_a4tN)) | |
})) | |
}; } in | |
showl_s5QT xs_a4tB)) | |
})) | |
}) } in | |
case >=# x_a4up 11# of { | |
__DEFAULT -> p_s5QP; | |
1# -> \ x1_a4nJ -> : $fShow(,)4 (p_s5QP (: $fShow(,)2 x1_a4nJ)) | |
} | |
}; | |
FormSuccess b1_a4aN -> | |
case ds_d4nB of { I# x_a4up -> | |
let { | |
g_s5QX | |
g_s5QX = showsPrec $dShow_a4fu $fShowFormResult4 b1_a4aN } in | |
case >=# x_a4up 11# of { | |
__DEFAULT -> \ x1_a4nS -> ++ $fShowFormResult2 (g_s5QX x1_a4nS); | |
1# -> | |
\ x1_a4nJ -> | |
: $fShow(,)4 (++ $fShowFormResult2 (g_s5QX (: $fShow(,)2 x1_a4nJ))) | |
} | |
} | |
} | |
-- RHS size: {terms: 8, types: 8, coercions: 0, joins: 0/0} | |
$fShowFormResult_$cshow | |
$fShowFormResult_$cshow | |
= \ @ a_a4ft $dShow_a4fu x_a4nV -> | |
$fShowFormResult_$cshowsPrec | |
$dShow_a4fu $fShowFormResult1 x_a4nV [] | |
-- RHS size: {terms: 10, types: 11, coercions: 0, joins: 0/0} | |
$fShowFormResult_$cshowList | |
$fShowFormResult_$cshowList | |
= \ @ a_a4ft $dShow_a4fu ls_a4nY s_a4nZ -> | |
showList__ | |
($fShowFormResult_$cshowsPrec $dShow_a4fu $fShowFormResult1) | |
ls_a4nY | |
s_a4nZ | |
-- RHS size: {terms: 9, types: 9, coercions: 0, joins: 0/0} | |
$fShowFormResult | |
$fShowFormResult | |
= \ @ a_a4ft $dShow_a4fu -> | |
C:Show | |
($fShowFormResult_$cshowsPrec $dShow_a4fu) | |
($fShowFormResult_$cshow $dShow_a4fu) | |
($fShowFormResult_$cshowList $dShow_a4fu) | |
-- RHS size: {terms: 37, types: 37, coercions: 0, joins: 0/0} | |
$fApplicativeFormResult_$c<*> | |
$fApplicativeFormResult_$c<*> | |
= \ @ a_a4gy @ b_a4gz ds_d4o3 ds1_d4o4 -> | |
case ds_d4o3 of { | |
FormMissing -> | |
case ds1_d4o4 of { | |
__DEFAULT -> FormMissing; | |
FormFailure y_a2dF -> FormFailure y_a2dF | |
}; | |
FormFailure x_a2dC -> | |
case ds1_d4o4 of { | |
__DEFAULT -> FormFailure x_a2dC; | |
FormFailure y_a2dD -> FormFailure (++ x_a2dC y_a2dD) | |
}; | |
FormSuccess f_a2dA -> | |
case ds1_d4o4 of { | |
FormMissing -> FormMissing; | |
FormFailure y_a2dF -> FormFailure y_a2dF; | |
FormSuccess g_a2dB -> FormSuccess (f_a2dA g_a2dB) | |
} | |
} | |
-- RHS size: {terms: 27, types: 26, coercions: 0, joins: 0/0} | |
$fApplicativeFormResult_$c*> | |
$fApplicativeFormResult_$c*> | |
= \ @ a_a4hj @ b_a4hk a1_a4oS a2_a4oT -> | |
case a1_a4oS of { | |
FormMissing -> | |
case a2_a4oT of { | |
__DEFAULT -> FormMissing; | |
FormFailure y_a2dF -> FormFailure y_a2dF | |
}; | |
FormFailure errs_a2dG -> | |
case a2_a4oT of { | |
__DEFAULT -> FormFailure errs_a2dG; | |
FormFailure y_a2dD -> FormFailure (++ errs_a2dG y_a2dD) | |
}; | |
FormSuccess a4_a2dI -> a2_a4oT | |
} | |
-- RHS size: {terms: 36, types: 34, coercions: 0, joins: 0/0} | |
$fApplicativeFormResult_$c<* | |
$fApplicativeFormResult_$c<* | |
= \ @ a_a4hz @ b_a4hA x_a4oM eta_B1 -> | |
case x_a4oM of { | |
FormMissing -> | |
case eta_B1 of { | |
__DEFAULT -> FormMissing; | |
FormFailure y_a2dF -> FormFailure y_a2dF | |
}; | |
FormFailure errs_a2dG -> | |
case eta_B1 of { | |
__DEFAULT -> FormFailure errs_a2dG; | |
FormFailure y_a2dD -> FormFailure (++ errs_a2dG y_a2dD) | |
}; | |
FormSuccess a1_a2dI -> | |
case eta_B1 of { | |
FormMissing -> FormMissing; | |
FormFailure y_a2dF -> FormFailure y_a2dF; | |
FormSuccess g_a2dB -> FormSuccess a1_a2dI | |
} | |
} | |
-- RHS size: {terms: 14, types: 15, coercions: 0, joins: 0/0} | |
$fFunctorFormResult_$c<$ | |
$fFunctorFormResult_$c<$ | |
= \ @ a_a4i4 @ b_a4i5 x_a4pi ds_d4p4 -> | |
case ds_d4p4 of { | |
FormMissing -> FormMissing; | |
FormFailure errs_a2dG -> FormFailure errs_a2dG; | |
FormSuccess a1_a2dI -> FormSuccess x_a4pi | |
} | |
-- RHS size: {terms: 15, types: 16, coercions: 0, joins: 0/0} | |
$fApplicativeFormResult_$cfmap | |
$fApplicativeFormResult_$cfmap | |
= \ @ a_a4hN @ b_a4hO ds_d4p3 ds1_d4p4 -> | |
case ds1_d4p4 of { | |
FormMissing -> FormMissing; | |
FormFailure errs_a2dG -> FormFailure errs_a2dG; | |
FormSuccess a1_a2dI -> FormSuccess (ds_d4p3 a1_a2dI) | |
} | |
-- RHS size: {terms: 3, types: 1, coercions: 0, joins: 0/0} | |
$fFunctorFormResult | |
$fFunctorFormResult | |
= C:Functor $fApplicativeFormResult_$cfmap $fFunctorFormResult_$c<$ | |
-- RHS size: {terms: 9, types: 16, coercions: 0, joins: 0/0} | |
$fApplicativeFormResult_$cliftA2 | |
$fApplicativeFormResult_$cliftA2 | |
= \ @ a_a4h1 @ b_a4h2 @ c_a4h3 f1_a4oL x_a4oM -> | |
$fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$cfmap f1_a4oL x_a4oM) | |
-- RHS size: {terms: 7, types: 1, coercions: 0, joins: 0/0} | |
$fApplicativeFormResult | |
$fApplicativeFormResult | |
= C:Applicative | |
$fFunctorFormResult | |
FormSuccess | |
$fApplicativeFormResult_$c<*> | |
$fApplicativeFormResult_$cliftA2 | |
$fApplicativeFormResult_$c*> | |
$fApplicativeFormResult_$c<* | |
-- RHS size: {terms: 8, types: 15, coercions: 0, joins: 0/0} | |
lvl4_r6tv | |
lvl4_r6tv | |
= \ @ r_X4jN @ a_a4yc eta_a4yd _ eta2_B1 -> (# eta2_B1, eta_a4yd #) | |
-- RHS size: {terms: 9, types: 15, coercions: 15, joins: 0/1} | |
$s$fMonadIOReaderT_$s$fMonadReaderT_$cfail | |
$s$fMonadIOReaderT_$s$fMonadReaderT_$cfail | |
= \ @ r_X5Rj @ a_a5Rj msg_a5Rk -> | |
let { | |
m1_s5Uk | |
m1_s5Uk = noinline (failIO1 `cast` <Co:8>) msg_a5Rk } in | |
(\ _ -> m1_s5Uk) `cast` <Co:7> | |
-- RHS size: {terms: 16, types: 33, coercions: 16, joins: 0/0} | |
$s$fMonadReaderT_$c>>=_r6tw | |
$s$fMonadReaderT_$c>>=_r6tw | |
= \ @ r_X4wC @ a_a4wC @ b_a4wD m1_a4wE k_a4wF r1_a4wG s_a4wS -> | |
case (((m1_a4wE `cast` <Co:6>) r1_a4wG) `cast` <Co:2>) s_a4wS of | |
{ (# ipv_a4wV, ipv1_a4wW #) -> | |
((((k_a4wF ipv1_a4wW) `cast` <Co:6>) r1_a4wG) `cast` <Co:2>) | |
ipv_a4wV | |
} | |
-- RHS size: {terms: 1, types: 0, coercions: 37, joins: 0/0} | |
$s$fMonadIOReaderT_$s$fMonadReaderT_$c>>= | |
$s$fMonadIOReaderT_$s$fMonadReaderT_$c>>= | |
= $s$fMonadReaderT_$c>>=_r6tw `cast` <Co:37> | |
-- RHS size: {terms: 20, types: 50, coercions: 16, joins: 0/0} | |
$s$fApplicativeReaderT_$c<*_r6tx | |
$s$fApplicativeReaderT_$c<*_r6tx | |
= \ @ r_X5Sa @ a_a5Sa @ b_a5Sb u_a5Sc v_a5Sd r1_a5Se s_a5Xs -> | |
case (((u_a5Sc `cast` <Co:6>) r1_a5Se) `cast` <Co:2>) s_a5Xs of | |
{ (# ipv_a5Xv, ipv1_a5Xw #) -> | |
case (((v_a5Sd `cast` <Co:6>) r1_a5Se) `cast` <Co:2>) ipv_a5Xv of | |
{ (# ipv2_a5XA, ipv3_a5XB #) -> | |
(# ipv2_a5XA, ipv1_a5Xw #) | |
} | |
} | |
-- RHS size: {terms: 1, types: 0, coercions: 36, joins: 0/0} | |
$s$fApplicativeReaderT_$s$fApplicativeReaderT_$c<* | |
$s$fApplicativeReaderT_$s$fApplicativeReaderT_$c<* | |
= $s$fApplicativeReaderT_$c<*_r6tx `cast` <Co:36> | |
-- RHS size: {terms: 15, types: 32, coercions: 16, joins: 0/0} | |
$s$fApplicativeReaderT_$c*>_r6ty | |
$s$fApplicativeReaderT_$c*>_r6ty | |
= \ @ r_X5Sm @ a_a5Sm @ b_a5Sn u_a5So v_a5Sp r1_a5Sq s_a5Xf -> | |
case (((u_a5So `cast` <Co:6>) r1_a5Sq) `cast` <Co:2>) s_a5Xf of | |
{ (# ipv_a5Xi, ipv1_a5Xj #) -> | |
(((v_a5Sp `cast` <Co:6>) r1_a5Sq) `cast` <Co:2>) ipv_a5Xi | |
} | |
-- RHS size: {terms: 1, types: 0, coercions: 36, joins: 0/0} | |
$s$fApplicativeReaderT_$s$fApplicativeReaderT_$c*> | |
$s$fApplicativeReaderT_$s$fApplicativeReaderT_$c*> | |
= $s$fApplicativeReaderT_$c*>_r6ty `cast` <Co:36> | |
-- RHS size: {terms: 21, types: 53, coercions: 18, joins: 0/0} | |
$s$fApplicativeReaderT_$c<*>_r6tz | |
$s$fApplicativeReaderT_$c<*>_r6tz | |
= \ @ r_X5SI @ a_a5SI @ b_a5SJ f_a5SK v_a5SL r1_a5SM s_a5WV -> | |
case (((f_a5SK `cast` <Co:7>) r1_a5SM) `cast` <Co:3>) s_a5WV of | |
{ (# ipv_a5WY, ipv1_a5WZ #) -> | |
case (((v_a5SL `cast` <Co:6>) r1_a5SM) `cast` <Co:2>) ipv_a5WY of | |
{ (# ipv2_a5X3, ipv3_a5X4 #) -> | |
(# ipv2_a5X3, ipv1_a5WZ ipv3_a5X4 #) | |
} | |
} | |
-- RHS size: {terms: 1, types: 0, coercions: 37, joins: 0/0} | |
$s$fApplicativeReaderT_$s$fApplicativeReaderT_$c<*> | |
$s$fApplicativeReaderT_$s$fApplicativeReaderT_$c<*> | |
= $s$fApplicativeReaderT_$c<*>_r6tz `cast` <Co:37> | |
-- RHS size: {terms: 24, types: 55, coercions: 16, joins: 0/0} | |
lvl5_r6tA | |
lvl5_r6tA | |
= \ @ r_X5RG | |
@ a_a5Sy | |
@ b_a5Sz | |
@ c_a5SA | |
eta_a5SB | |
eta1_a5SC | |
eta2_B3 | |
eta3_B2 | |
eta4_B1 -> | |
case (((eta1_a5SC `cast` <Co:6>) eta3_B2) `cast` <Co:2>) eta4_B1 of | |
{ (# ipv_a5Wy, ipv1_a5Wz #) -> | |
case (((eta2_B3 `cast` <Co:6>) eta3_B2) `cast` <Co:2>) ipv_a5Wy of | |
{ (# ipv2_a5X3, ipv3_a5X4 #) -> | |
(# ipv2_a5X3, eta_a5SB ipv1_a5Wz ipv3_a5X4 #) | |
} | |
} | |
-- RHS size: {terms: 15, types: 34, coercions: 8, joins: 0/0} | |
$s$fFunctorReaderT_$c<$_r6tB | |
$s$fFunctorReaderT_$c<$_r6tB | |
= \ @ r_X5T9 @ a_a5T9 @ b_a5Ta x_a5Tb v_a5Tc eta_B2 eta1_B1 -> | |
case (((v_a5Tc `cast` <Co:6>) eta_B2) `cast` <Co:2>) eta1_B1 of | |
{ (# ipv_a5WI, ipv1_a5WJ #) -> | |
(# ipv_a5WI, x_a5Tb #) | |
} | |
-- RHS size: {terms: 1, types: 0, coercions: 31, joins: 0/0} | |
$s$fApplicativeReaderT_$s$fFunctorReaderT_$c<$ | |
$s$fApplicativeReaderT_$s$fFunctorReaderT_$c<$ | |
= $s$fFunctorReaderT_$c<$_r6tB `cast` <Co:31> | |
-- RHS size: {terms: 16, types: 35, coercions: 8, joins: 0/0} | |
$s$fFunctorReaderT_$cfmap_r6tC | |
$s$fFunctorReaderT_$cfmap_r6tC | |
= \ @ r_X5Ti @ a_a5Ti @ b_a5Tj f_a5Tk eta_B2 eta1_B1 s_a5Wv -> | |
case (((eta_B2 `cast` <Co:6>) eta1_B1) `cast` <Co:2>) s_a5Wv of | |
{ (# ipv_a5Wy, ipv1_a5Wz #) -> | |
(# ipv_a5Wy, f_a5Tk ipv1_a5Wz #) | |
} | |
-- RHS size: {terms: 1, types: 0, coercions: 32, joins: 0/0} | |
$s$fApplicativeReaderT_$s$fFunctorReaderT_$cfmap | |
$s$fApplicativeReaderT_$s$fFunctorReaderT_$cfmap | |
= $s$fFunctorReaderT_$cfmap_r6tC `cast` <Co:32> | |
-- RHS size: {terms: 4, types: 9, coercions: 0, joins: 0/0} | |
$s$fApplicativeReaderT_$s$fFunctorReaderT | |
$s$fApplicativeReaderT_$s$fFunctorReaderT | |
= \ @ r_X4k9 -> | |
C:Functor | |
$s$fApplicativeReaderT_$s$fFunctorReaderT_$cfmap | |
$s$fApplicativeReaderT_$s$fFunctorReaderT_$c<$ | |
-- RHS size: {terms: 8, types: 13, coercions: 58, joins: 0/0} | |
$s$fApplicativeReaderT | |
$s$fApplicativeReaderT | |
= \ @ r_X5W5 -> | |
C:Applicative | |
$s$fApplicativeReaderT_$s$fFunctorReaderT | |
(lvl4_r6tv `cast` <Co:18>) | |
$s$fApplicativeReaderT_$s$fApplicativeReaderT_$c<*> | |
(lvl5_r6tA `cast` <Co:40>) | |
$s$fApplicativeReaderT_$s$fApplicativeReaderT_$c*> | |
$s$fApplicativeReaderT_$s$fApplicativeReaderT_$c<* | |
-- RHS size: {terms: 7, types: 12, coercions: 18, joins: 0/0} | |
$s$fMonadIOReaderT_$s$fMonadReaderT | |
$s$fMonadIOReaderT_$s$fMonadReaderT | |
= \ @ r_X4oe -> | |
C:Monad | |
$s$fApplicativeReaderT | |
$s$fMonadIOReaderT_$s$fMonadReaderT_$c>>= | |
$s$fApplicativeReaderT_$s$fApplicativeReaderT_$c*> | |
(lvl4_r6tv `cast` <Co:18>) | |
$s$fMonadIOReaderT_$s$fMonadReaderT_$cfail | |
-- RHS size: {terms: 5, types: 7, coercions: 0, joins: 0/0} | |
$s$fMonadIOReaderT_$cliftIO1_r6tD | |
$s$fMonadIOReaderT_$cliftIO1_r6tD | |
= \ @ r_X5R4 @ a_a5R4 x_a5R6 _ -> x_a5R6 | |
-- RHS size: {terms: 4, types: 9, coercions: 13, joins: 0/0} | |
$s$fMonadIOReaderT | |
$s$fMonadIOReaderT | |
= \ @ r_X4bi -> | |
C:MonadIO | |
$s$fMonadIOReaderT_$s$fMonadReaderT | |
($s$fMonadIOReaderT_$cliftIO1_r6tD `cast` <Co:13>) | |
-- RHS size: {terms: 1,795, | |
types: 4,018, | |
coercions: 776, | |
joins: 0/3} | |
sampleForm1 | |
sampleForm1 | |
= \ r1_a4vO s1_a4vP -> | |
let { | |
m1_s5QM | |
m1_s5QM | |
= ((ff $s$fMonadIOReaderT lvl1_r6ta) `cast` <Co:17>) | |
r1_a4vO s1_a4vP } in | |
(\ r2_a4wG s_a4wS -> | |
case (((m1_s5QM `cast` <Co:13>) r2_a4wG) `cast` <Co:9>) s_a4wS of | |
{ (# ipv_a4wV, ipv1_a4wW #) -> | |
case ipv1_a4wW of { (a1_a4w0, s'_a4w1, w2_a4w2) -> | |
case a1_a4w0 of { (x01_a2dN, ds_d4nz) -> | |
case ((((((ff $s$fMonadIOReaderT lvl1_r6ta) `cast` <Co:17>) | |
r1_a4vO s'_a4w1) | |
`cast` <Co:13>) | |
r2_a4wG) | |
`cast` <Co:9>) | |
ipv_a4wV | |
of | |
{ (# ipv2_X4zn, ipv3_X4zp #) -> | |
case ipv3_X4zp of { (a2_X4Cf, s'1_X4Ch, w1_X4Cj) -> | |
case a2_X4Cf of { (x02_a2dO, ds3_d4ns) -> | |
case ((((((ff $s$fMonadIOReaderT lvl1_r6ta) `cast` <Co:17>) | |
r1_a4vO s'1_X4Ch) | |
`cast` <Co:13>) | |
r2_a4wG) | |
`cast` <Co:9>) | |
ipv2_X4zn | |
of | |
{ (# ipv4_X4zM, ipv5_X4zO #) -> | |
case ipv5_X4zO of { (a3_X4CA, s'2_X4CC, w3_X4CE) -> | |
case a3_X4CA of { (x03_a2dP, ds5_d4nl) -> | |
case ((((((ff $s$fMonadIOReaderT lvl1_r6ta) `cast` <Co:17>) | |
r1_a4vO s'2_X4CC) | |
`cast` <Co:13>) | |
r2_a4wG) | |
`cast` <Co:9>) | |
ipv4_X4zM | |
of | |
{ (# ipv6_X4Ab, ipv7_X4Ad #) -> | |
case ipv7_X4Ad of { (a4_X4CV, s'3_X4CX, w4_X4CZ) -> | |
case a4_X4CV of { (x04_a2dQ, ds7_d4ne) -> | |
case ((((((ff $s$fMonadIOReaderT lvl1_r6ta) `cast` <Co:17>) | |
r1_a4vO s'3_X4CX) | |
`cast` <Co:13>) | |
r2_a4wG) | |
`cast` <Co:9>) | |
ipv6_X4Ab | |
of | |
{ (# ipv8_X4AA, ipv9_X4AC #) -> | |
case ipv9_X4AC of { (a5_X4Dg, s'4_X4Di, w5_X4Dk) -> | |
case a5_X4Dg of { (x05_a2dR, ds9_d4n7) -> | |
case ((((((ff $s$fMonadIOReaderT lvl1_r6ta) `cast` <Co:17>) | |
r1_a4vO s'4_X4Di) | |
`cast` <Co:13>) | |
r2_a4wG) | |
`cast` <Co:9>) | |
ipv8_X4AA | |
of | |
{ (# ipv10_X4AZ, ipv11_X4B1 #) -> | |
case ipv11_X4B1 of { (a6_X4DB, s'5_X4DD, w6_X4DF) -> | |
case a6_X4DB of { (x06_a2dS, ds11_d4n0) -> | |
case ((((((ff $s$fMonadIOReaderT lvl1_r6ta) `cast` <Co:17>) | |
r1_a4vO s'5_X4DD) | |
`cast` <Co:13>) | |
r2_a4wG) | |
`cast` <Co:9>) | |
ipv10_X4AZ | |
of | |
{ (# ipv12_X4Bo, ipv13_X4Bq #) -> | |
case ipv13_X4Bq of { (a7_X4DW, s'6_X4DY, w7_X4E0) -> | |
case a7_X4DW of { (x07_a2dT, ds13_d4mT) -> | |
case ((((((ff $s$fMonadIOReaderT lvl1_r6ta) `cast` <Co:17>) | |
r1_a4vO s'6_X4DY) | |
`cast` <Co:13>) | |
r2_a4wG) | |
`cast` <Co:9>) | |
ipv12_X4Bo | |
of | |
{ (# ipv14_X4BN, ipv15_X4BP #) -> | |
case ipv15_X4BP of { (a8_X4Eh, s'7_X4Ej, w8_X4El) -> | |
case a8_X4Eh of { (x08_a2dU, ds15_d4mM) -> | |
case ((((((ff $s$fMonadIOReaderT lvl1_r6ta) `cast` <Co:17>) | |
r1_a4vO s'7_X4Ej) | |
`cast` <Co:13>) | |
r2_a4wG) | |
`cast` <Co:9>) | |
ipv14_X4BN | |
of | |
{ (# ipv16_X4Cc, ipv17_X4Ce #) -> | |
case ipv17_X4Ce of { (a9_X4EC, s'8_X4EE, w9_X4EG) -> | |
case a9_X4EC of { (x09_a2dV, ds17_d4mF) -> | |
case ((((((ff $s$fMonadIOReaderT lvl1_r6ta) `cast` <Co:17>) | |
r1_a4vO s'8_X4EE) | |
`cast` <Co:13>) | |
r2_a4wG) | |
`cast` <Co:9>) | |
ipv16_X4Cc | |
of | |
{ (# ipv18_X4CB, ipv19_X4CD #) -> | |
case ipv19_X4CD of { (a10_X4EX, s'9_X4EZ, w10_X4F1) -> | |
case a10_X4EX of { (x10_a2dW, ds19_d4my) -> | |
case ((((((ff $s$fMonadIOReaderT lvl1_r6ta) `cast` <Co:17>) | |
r1_a4vO s'9_X4EZ) | |
`cast` <Co:13>) | |
r2_a4wG) | |
`cast` <Co:9>) | |
ipv18_X4CB | |
of | |
{ (# ipv20_X4D0, ipv21_X4D2 #) -> | |
case ipv21_X4D2 of { (a11_X4Fi, s'10_X4Fk, w11_X4Fm) -> | |
case a11_X4Fi of { (x11_a2dX, ds21_d4mr) -> | |
case ((((((ff $s$fMonadIOReaderT lvl1_r6ta) `cast` <Co:17>) | |
r1_a4vO s'10_X4Fk) | |
`cast` <Co:13>) | |
r2_a4wG) | |
`cast` <Co:9>) | |
ipv20_X4D0 | |
of | |
{ (# ipv22_X4Dp, ipv23_X4Dr #) -> | |
case ipv23_X4Dr of { (a12_X4FD, s'11_X4FF, w12_X4FH) -> | |
case a12_X4FD of { (x12_a2dY, ds23_d4mk) -> | |
case ((((((ff $s$fMonadIOReaderT lvl1_r6ta) `cast` <Co:17>) | |
r1_a4vO s'11_X4FF) | |
`cast` <Co:13>) | |
r2_a4wG) | |
`cast` <Co:9>) | |
ipv22_X4Dp | |
of | |
{ (# ipv24_X4DO, ipv25_X4DQ #) -> | |
case ipv25_X4DQ of { (a13_X4FY, s'12_X4G0, w13_X4G2) -> | |
case a13_X4FY of { (x13_a2dZ, ds25_d4md) -> | |
case ((((((ff $s$fMonadIOReaderT lvl1_r6ta) `cast` <Co:17>) | |
r1_a4vO s'12_X4G0) | |
`cast` <Co:13>) | |
r2_a4wG) | |
`cast` <Co:9>) | |
ipv24_X4DO | |
of | |
{ (# ipv26_X4Or, ipv27_X4Ef #) -> | |
case ipv27_X4Ef of { (a14_X4Gj, s'13_X4Gl, w14_X4Gn) -> | |
case a14_X4Gj of { (x14_a2e0, ds27_d4m6) -> | |
case ((((((ff $s$fMonadIOReaderT lvl1_r6ta) `cast` <Co:17>) | |
r1_a4vO s'13_X4Gl) | |
`cast` <Co:13>) | |
r2_a4wG) | |
`cast` <Co:9>) | |
ipv26_X4Or | |
of | |
{ (# ipv28_X4Pb, ipv29_X4Pe #) -> | |
case ipv29_X4Pe of { (a15_X4GE, s'14_X4GG, w15_X4GI) -> | |
case a15_X4GE of { (x15_a2e1, ds29_d4lZ) -> | |
case ((((((ff $s$fMonadIOReaderT lvl1_r6ta) `cast` <Co:17>) | |
r1_a4vO s'14_X4GG) | |
`cast` <Co:13>) | |
r2_a4wG) | |
`cast` <Co:9>) | |
ipv28_X4Pb | |
of | |
{ (# ipv30_X4PV, ipv31_X4F3 #) -> | |
case ipv31_X4F3 of { (a16_X4GZ, s'15_X4H1, w16_X4H3) -> | |
case a16_X4GZ of { (x16_a2e2, ds31_d4lS) -> | |
case ((((((ff $s$fMonadIOReaderT lvl1_r6ta) `cast` <Co:17>) | |
r1_a4vO s'15_X4H1) | |
`cast` <Co:13>) | |
r2_a4wG) | |
`cast` <Co:9>) | |
ipv30_X4PV | |
of | |
{ (# ipv32_X4Fq, ipv33_X4Fs #) -> | |
case ipv33_X4Fs of { (a17_X4Hk, s'16_X4Hm, w17_X4Ho) -> | |
case a17_X4Hk of { (x17_a2e3, ds33_d4lL) -> | |
case ((((((ff $s$fMonadIOReaderT lvl1_r6ta) `cast` <Co:17>) | |
r1_a4vO s'16_X4Hm) | |
`cast` <Co:13>) | |
r2_a4wG) | |
`cast` <Co:9>) | |
ipv32_X4Fq | |
of | |
{ (# ipv34_X4FP, ipv35_X4FR #) -> | |
case ipv35_X4FR of { (a18_X4HF, s'17_X4HH, w18_X4HJ) -> | |
case a18_X4HF of { (x18_a2e4, ds35_d4lE) -> | |
(# ipv34_X4FP, | |
(case x01_a2dN of { | |
FormMissing -> | |
case x02_a2dO of { | |
__DEFAULT -> | |
case x03_a2dP of { | |
__DEFAULT -> | |
case x04_a2dQ of { | |
__DEFAULT -> | |
case x05_a2dR of { | |
__DEFAULT -> | |
$fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
FormMissing x06_a2dS) | |
x07_a2dT) | |
x08_a2dU) | |
x09_a2dV) | |
x10_a2dW) | |
x11_a2dX) | |
x12_a2dY; | |
FormFailure y_a2dF -> | |
$fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
(FormFailure y_a2dF) x06_a2dS) | |
x07_a2dT) | |
x08_a2dU) | |
x09_a2dV) | |
x10_a2dW) | |
x11_a2dX) | |
x12_a2dY | |
}; | |
FormFailure y_a2dF -> | |
case x05_a2dR of { | |
__DEFAULT -> | |
$fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
(FormFailure y_a2dF) x06_a2dS) | |
x07_a2dT) | |
x08_a2dU) | |
x09_a2dV) | |
x10_a2dW) | |
x11_a2dX) | |
x12_a2dY; | |
FormFailure y1_a2dD -> | |
$fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
(FormFailure (++ y_a2dF y1_a2dD)) x06_a2dS) | |
x07_a2dT) | |
x08_a2dU) | |
x09_a2dV) | |
x10_a2dW) | |
x11_a2dX) | |
x12_a2dY | |
} | |
}; | |
FormFailure y_a2dF -> | |
case x04_a2dQ of { | |
__DEFAULT -> | |
case x05_a2dR of { | |
__DEFAULT -> | |
$fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
(FormFailure y_a2dF) x06_a2dS) | |
x07_a2dT) | |
x08_a2dU) | |
x09_a2dV) | |
x10_a2dW) | |
x11_a2dX) | |
x12_a2dY; | |
FormFailure y1_a2dD -> | |
$fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
(FormFailure (++ y_a2dF y1_a2dD)) x06_a2dS) | |
x07_a2dT) | |
x08_a2dU) | |
x09_a2dV) | |
x10_a2dW) | |
x11_a2dX) | |
x12_a2dY | |
}; | |
FormFailure y1_a2dD -> | |
case x05_a2dR of { | |
__DEFAULT -> | |
$fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
(FormFailure (++ y_a2dF y1_a2dD)) x06_a2dS) | |
x07_a2dT) | |
x08_a2dU) | |
x09_a2dV) | |
x10_a2dW) | |
x11_a2dX) | |
x12_a2dY; | |
FormFailure y2_X2mF -> | |
$fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
(FormFailure (++ (++ y_a2dF y1_a2dD) y2_X2mF)) | |
x06_a2dS) | |
x07_a2dT) | |
x08_a2dU) | |
x09_a2dV) | |
x10_a2dW) | |
x11_a2dX) | |
x12_a2dY | |
} | |
} | |
}; | |
FormFailure y_a2dF -> | |
case x03_a2dP of { | |
__DEFAULT -> | |
case x04_a2dQ of { | |
__DEFAULT -> | |
case x05_a2dR of { | |
__DEFAULT -> | |
$fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
(FormFailure y_a2dF) x06_a2dS) | |
x07_a2dT) | |
x08_a2dU) | |
x09_a2dV) | |
x10_a2dW) | |
x11_a2dX) | |
x12_a2dY; | |
FormFailure y1_a2dD -> | |
$fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
(FormFailure (++ y_a2dF y1_a2dD)) x06_a2dS) | |
x07_a2dT) | |
x08_a2dU) | |
x09_a2dV) | |
x10_a2dW) | |
x11_a2dX) | |
x12_a2dY | |
}; | |
FormFailure y1_a2dD -> | |
case x05_a2dR of { | |
__DEFAULT -> | |
$fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
(FormFailure (++ y_a2dF y1_a2dD)) x06_a2dS) | |
x07_a2dT) | |
x08_a2dU) | |
x09_a2dV) | |
x10_a2dW) | |
x11_a2dX) | |
x12_a2dY; | |
FormFailure y2_X2mF -> | |
$fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
(FormFailure (++ (++ y_a2dF y1_a2dD) y2_X2mF)) | |
x06_a2dS) | |
x07_a2dT) | |
x08_a2dU) | |
x09_a2dV) | |
x10_a2dW) | |
x11_a2dX) | |
x12_a2dY | |
} | |
}; | |
FormFailure y1_a2dD -> | |
case x04_a2dQ of { | |
__DEFAULT -> | |
case x05_a2dR of { | |
__DEFAULT -> | |
$fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
(FormFailure (++ y_a2dF y1_a2dD)) x06_a2dS) | |
x07_a2dT) | |
x08_a2dU) | |
x09_a2dV) | |
x10_a2dW) | |
x11_a2dX) | |
x12_a2dY; | |
FormFailure y2_X2mF -> | |
$fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
(FormFailure (++ (++ y_a2dF y1_a2dD) y2_X2mF)) | |
x06_a2dS) | |
x07_a2dT) | |
x08_a2dU) | |
x09_a2dV) | |
x10_a2dW) | |
x11_a2dX) | |
x12_a2dY | |
}; | |
FormFailure y2_X2mC -> | |
case x05_a2dR of { | |
__DEFAULT -> | |
$fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
(FormFailure (++ (++ y_a2dF y1_a2dD) y2_X2mC)) | |
x06_a2dS) | |
x07_a2dT) | |
x08_a2dU) | |
x09_a2dV) | |
x10_a2dW) | |
x11_a2dX) | |
x12_a2dY; | |
FormFailure y3_X2mH -> | |
$fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
(FormFailure | |
(++ | |
(++ (++ y_a2dF y1_a2dD) y2_X2mC) | |
y3_X2mH)) | |
x06_a2dS) | |
x07_a2dT) | |
x08_a2dU) | |
x09_a2dV) | |
x10_a2dW) | |
x11_a2dX) | |
x12_a2dY | |
} | |
} | |
} | |
}; | |
FormFailure errs_a2dG -> | |
case x02_a2dO of { | |
__DEFAULT -> | |
case x03_a2dP of { | |
__DEFAULT -> | |
case x04_a2dQ of { | |
__DEFAULT -> | |
case x05_a2dR of { | |
__DEFAULT -> | |
$fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
(FormFailure errs_a2dG) x06_a2dS) | |
x07_a2dT) | |
x08_a2dU) | |
x09_a2dV) | |
x10_a2dW) | |
x11_a2dX) | |
x12_a2dY; | |
FormFailure y_a2dD -> | |
$fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
(FormFailure (++ errs_a2dG y_a2dD)) x06_a2dS) | |
x07_a2dT) | |
x08_a2dU) | |
x09_a2dV) | |
x10_a2dW) | |
x11_a2dX) | |
x12_a2dY | |
}; | |
FormFailure y_a2dD -> | |
case x05_a2dR of { | |
__DEFAULT -> | |
$fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
(FormFailure (++ errs_a2dG y_a2dD)) x06_a2dS) | |
x07_a2dT) | |
x08_a2dU) | |
x09_a2dV) | |
x10_a2dW) | |
x11_a2dX) | |
x12_a2dY; | |
FormFailure y1_X2mE -> | |
$fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
(FormFailure | |
(++ (++ errs_a2dG y_a2dD) y1_X2mE)) | |
x06_a2dS) | |
x07_a2dT) | |
x08_a2dU) | |
x09_a2dV) | |
x10_a2dW) | |
x11_a2dX) | |
x12_a2dY | |
} | |
}; | |
FormFailure y_a2dD -> | |
case x04_a2dQ of { | |
__DEFAULT -> | |
case x05_a2dR of { | |
__DEFAULT -> | |
$fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
(FormFailure (++ errs_a2dG y_a2dD)) x06_a2dS) | |
x07_a2dT) | |
x08_a2dU) | |
x09_a2dV) | |
x10_a2dW) | |
x11_a2dX) | |
x12_a2dY; | |
FormFailure y1_X2mE -> | |
$fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
(FormFailure | |
(++ (++ errs_a2dG y_a2dD) y1_X2mE)) | |
x06_a2dS) | |
x07_a2dT) | |
x08_a2dU) | |
x09_a2dV) | |
x10_a2dW) | |
x11_a2dX) | |
x12_a2dY | |
}; | |
FormFailure y1_X2mB -> | |
case x05_a2dR of { | |
__DEFAULT -> | |
$fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
(FormFailure | |
(++ (++ errs_a2dG y_a2dD) y1_X2mB)) | |
x06_a2dS) | |
x07_a2dT) | |
x08_a2dU) | |
x09_a2dV) | |
x10_a2dW) | |
x11_a2dX) | |
x12_a2dY; | |
FormFailure y2_X2mG -> | |
$fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
(FormFailure | |
(++ | |
(++ (++ errs_a2dG y_a2dD) y1_X2mB) | |
y2_X2mG)) | |
x06_a2dS) | |
x07_a2dT) | |
x08_a2dU) | |
x09_a2dV) | |
x10_a2dW) | |
x11_a2dX) | |
x12_a2dY | |
} | |
} | |
}; | |
FormFailure y_a2dD -> | |
case x03_a2dP of { | |
__DEFAULT -> | |
case x04_a2dQ of { | |
__DEFAULT -> | |
case x05_a2dR of { | |
__DEFAULT -> | |
$fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
(FormFailure (++ errs_a2dG y_a2dD)) x06_a2dS) | |
x07_a2dT) | |
x08_a2dU) | |
x09_a2dV) | |
x10_a2dW) | |
x11_a2dX) | |
x12_a2dY; | |
FormFailure y1_X2mE -> | |
$fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
(FormFailure | |
(++ (++ errs_a2dG y_a2dD) y1_X2mE)) | |
x06_a2dS) | |
x07_a2dT) | |
x08_a2dU) | |
x09_a2dV) | |
x10_a2dW) | |
x11_a2dX) | |
x12_a2dY | |
}; | |
FormFailure y1_X2mB -> | |
case x05_a2dR of { | |
__DEFAULT -> | |
$fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
(FormFailure | |
(++ (++ errs_a2dG y_a2dD) y1_X2mB)) | |
x06_a2dS) | |
x07_a2dT) | |
x08_a2dU) | |
x09_a2dV) | |
x10_a2dW) | |
x11_a2dX) | |
x12_a2dY; | |
FormFailure y2_X2mG -> | |
$fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
(FormFailure | |
(++ | |
(++ (++ errs_a2dG y_a2dD) y1_X2mB) | |
y2_X2mG)) | |
x06_a2dS) | |
x07_a2dT) | |
x08_a2dU) | |
x09_a2dV) | |
x10_a2dW) | |
x11_a2dX) | |
x12_a2dY | |
} | |
}; | |
FormFailure y1_X2my -> | |
case x04_a2dQ of { | |
__DEFAULT -> | |
case x05_a2dR of { | |
__DEFAULT -> | |
$fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
(FormFailure | |
(++ (++ errs_a2dG y_a2dD) y1_X2my)) | |
x06_a2dS) | |
x07_a2dT) | |
x08_a2dU) | |
x09_a2dV) | |
x10_a2dW) | |
x11_a2dX) | |
x12_a2dY; | |
FormFailure y2_X2mG -> | |
$fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
(FormFailure | |
(++ | |
(++ (++ errs_a2dG y_a2dD) y1_X2my) | |
y2_X2mG)) | |
x06_a2dS) | |
x07_a2dT) | |
x08_a2dU) | |
x09_a2dV) | |
x10_a2dW) | |
x11_a2dX) | |
x12_a2dY | |
}; | |
FormFailure y2_X2mD -> | |
let { | |
x_a2dC | |
x_a2dC = ++ (++ (++ errs_a2dG y_a2dD) y1_X2my) y2_X2mD } in | |
case x05_a2dR of { | |
__DEFAULT -> | |
$fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
(FormFailure x_a2dC) x06_a2dS) | |
x07_a2dT) | |
x08_a2dU) | |
x09_a2dV) | |
x10_a2dW) | |
x11_a2dX) | |
x12_a2dY; | |
FormFailure y3_X2mJ -> | |
$fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
(FormFailure (++ x_a2dC y3_X2mJ)) x06_a2dS) | |
x07_a2dT) | |
x08_a2dU) | |
x09_a2dV) | |
x10_a2dW) | |
x11_a2dX) | |
x12_a2dY | |
} | |
} | |
} | |
}; | |
FormSuccess a_a2dI -> | |
case x02_a2dO of { | |
FormMissing -> | |
case x03_a2dP of { | |
__DEFAULT -> | |
case x04_a2dQ of { | |
__DEFAULT -> | |
case x05_a2dR of { | |
__DEFAULT -> | |
$fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
FormMissing x06_a2dS) | |
x07_a2dT) | |
x08_a2dU) | |
x09_a2dV) | |
x10_a2dW) | |
x11_a2dX) | |
x12_a2dY; | |
FormFailure y_a2dF -> | |
$fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
(FormFailure y_a2dF) x06_a2dS) | |
x07_a2dT) | |
x08_a2dU) | |
x09_a2dV) | |
x10_a2dW) | |
x11_a2dX) | |
x12_a2dY | |
}; | |
FormFailure y_a2dF -> | |
case x05_a2dR of { | |
__DEFAULT -> | |
$fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
(FormFailure y_a2dF) x06_a2dS) | |
x07_a2dT) | |
x08_a2dU) | |
x09_a2dV) | |
x10_a2dW) | |
x11_a2dX) | |
x12_a2dY; | |
FormFailure y1_a2dD -> | |
$fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
(FormFailure (++ y_a2dF y1_a2dD)) x06_a2dS) | |
x07_a2dT) | |
x08_a2dU) | |
x09_a2dV) | |
x10_a2dW) | |
x11_a2dX) | |
x12_a2dY | |
} | |
}; | |
FormFailure y_a2dF -> | |
case x04_a2dQ of { | |
__DEFAULT -> | |
case x05_a2dR of { | |
__DEFAULT -> | |
$fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
(FormFailure y_a2dF) x06_a2dS) | |
x07_a2dT) | |
x08_a2dU) | |
x09_a2dV) | |
x10_a2dW) | |
x11_a2dX) | |
x12_a2dY; | |
FormFailure y1_a2dD -> | |
$fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
(FormFailure (++ y_a2dF y1_a2dD)) x06_a2dS) | |
x07_a2dT) | |
x08_a2dU) | |
x09_a2dV) | |
x10_a2dW) | |
x11_a2dX) | |
x12_a2dY | |
}; | |
FormFailure y1_a2dD -> | |
case x05_a2dR of { | |
__DEFAULT -> | |
$fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
(FormFailure (++ y_a2dF y1_a2dD)) x06_a2dS) | |
x07_a2dT) | |
x08_a2dU) | |
x09_a2dV) | |
x10_a2dW) | |
x11_a2dX) | |
x12_a2dY; | |
FormFailure y2_X2mH -> | |
$fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
(FormFailure (++ (++ y_a2dF y1_a2dD) y2_X2mH)) | |
x06_a2dS) | |
x07_a2dT) | |
x08_a2dU) | |
x09_a2dV) | |
x10_a2dW) | |
x11_a2dX) | |
x12_a2dY | |
} | |
} | |
}; | |
FormFailure y_a2dF -> | |
case x03_a2dP of { | |
__DEFAULT -> | |
case x04_a2dQ of { | |
__DEFAULT -> | |
case x05_a2dR of { | |
__DEFAULT -> | |
$fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
(FormFailure y_a2dF) x06_a2dS) | |
x07_a2dT) | |
x08_a2dU) | |
x09_a2dV) | |
x10_a2dW) | |
x11_a2dX) | |
x12_a2dY; | |
FormFailure y1_a2dD -> | |
$fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
(FormFailure (++ y_a2dF y1_a2dD)) x06_a2dS) | |
x07_a2dT) | |
x08_a2dU) | |
x09_a2dV) | |
x10_a2dW) | |
x11_a2dX) | |
x12_a2dY | |
}; | |
FormFailure y1_a2dD -> | |
case x05_a2dR of { | |
__DEFAULT -> | |
$fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
(FormFailure (++ y_a2dF y1_a2dD)) x06_a2dS) | |
x07_a2dT) | |
x08_a2dU) | |
x09_a2dV) | |
x10_a2dW) | |
x11_a2dX) | |
x12_a2dY; | |
FormFailure y2_X2mG -> | |
$fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
(FormFailure (++ (++ y_a2dF y1_a2dD) y2_X2mG)) | |
x06_a2dS) | |
x07_a2dT) | |
x08_a2dU) | |
x09_a2dV) | |
x10_a2dW) | |
x11_a2dX) | |
x12_a2dY | |
} | |
}; | |
FormFailure y1_a2dD -> | |
case x04_a2dQ of { | |
__DEFAULT -> | |
case x05_a2dR of { | |
__DEFAULT -> | |
$fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
(FormFailure (++ y_a2dF y1_a2dD)) x06_a2dS) | |
x07_a2dT) | |
x08_a2dU) | |
x09_a2dV) | |
x10_a2dW) | |
x11_a2dX) | |
x12_a2dY; | |
FormFailure y2_X2mG -> | |
$fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
(FormFailure (++ (++ y_a2dF y1_a2dD) y2_X2mG)) | |
x06_a2dS) | |
x07_a2dT) | |
x08_a2dU) | |
x09_a2dV) | |
x10_a2dW) | |
x11_a2dX) | |
x12_a2dY | |
}; | |
FormFailure y2_X2mD -> | |
case x05_a2dR of { | |
__DEFAULT -> | |
$fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
(FormFailure (++ (++ y_a2dF y1_a2dD) y2_X2mD)) | |
x06_a2dS) | |
x07_a2dT) | |
x08_a2dU) | |
x09_a2dV) | |
x10_a2dW) | |
x11_a2dX) | |
x12_a2dY; | |
FormFailure y3_X2mI -> | |
$fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
(FormFailure | |
(++ | |
(++ (++ y_a2dF y1_a2dD) y2_X2mD) | |
y3_X2mI)) | |
x06_a2dS) | |
x07_a2dT) | |
x08_a2dU) | |
x09_a2dV) | |
x10_a2dW) | |
x11_a2dX) | |
x12_a2dY | |
} | |
} | |
}; | |
FormSuccess g_a2dB -> | |
case x03_a2dP of { | |
FormMissing -> | |
case x04_a2dQ of { | |
__DEFAULT -> | |
case x05_a2dR of { | |
__DEFAULT -> | |
$fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
FormMissing x06_a2dS) | |
x07_a2dT) | |
x08_a2dU) | |
x09_a2dV) | |
x10_a2dW) | |
x11_a2dX) | |
x12_a2dY; | |
FormFailure y_a2dF -> | |
$fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
(FormFailure y_a2dF) x06_a2dS) | |
x07_a2dT) | |
x08_a2dU) | |
x09_a2dV) | |
x10_a2dW) | |
x11_a2dX) | |
x12_a2dY | |
}; | |
FormFailure y_a2dF -> | |
case x05_a2dR of { | |
__DEFAULT -> | |
$fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
(FormFailure y_a2dF) x06_a2dS) | |
x07_a2dT) | |
x08_a2dU) | |
x09_a2dV) | |
x10_a2dW) | |
x11_a2dX) | |
x12_a2dY; | |
FormFailure y1_a2dD -> | |
$fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
(FormFailure (++ y_a2dF y1_a2dD)) x06_a2dS) | |
x07_a2dT) | |
x08_a2dU) | |
x09_a2dV) | |
x10_a2dW) | |
x11_a2dX) | |
x12_a2dY | |
} | |
}; | |
FormFailure y_a2dF -> | |
case x04_a2dQ of { | |
__DEFAULT -> | |
case x05_a2dR of { | |
__DEFAULT -> | |
$fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
(FormFailure y_a2dF) x06_a2dS) | |
x07_a2dT) | |
x08_a2dU) | |
x09_a2dV) | |
x10_a2dW) | |
x11_a2dX) | |
x12_a2dY; | |
FormFailure y1_a2dD -> | |
$fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
(FormFailure (++ y_a2dF y1_a2dD)) x06_a2dS) | |
x07_a2dT) | |
x08_a2dU) | |
x09_a2dV) | |
x10_a2dW) | |
x11_a2dX) | |
x12_a2dY | |
}; | |
FormFailure y1_a2dD -> | |
case x05_a2dR of { | |
__DEFAULT -> | |
$fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
(FormFailure (++ y_a2dF y1_a2dD)) x06_a2dS) | |
x07_a2dT) | |
x08_a2dU) | |
x09_a2dV) | |
x10_a2dW) | |
x11_a2dX) | |
x12_a2dY; | |
FormFailure y2_X2mI -> | |
$fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
(FormFailure (++ (++ y_a2dF y1_a2dD) y2_X2mI)) | |
x06_a2dS) | |
x07_a2dT) | |
x08_a2dU) | |
x09_a2dV) | |
x10_a2dW) | |
x11_a2dX) | |
x12_a2dY | |
} | |
}; | |
FormSuccess g1_X2mx -> | |
case x04_a2dQ of { | |
FormMissing -> | |
case x05_a2dR of { | |
__DEFAULT -> | |
$fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
FormMissing x06_a2dS) | |
x07_a2dT) | |
x08_a2dU) | |
x09_a2dV) | |
x10_a2dW) | |
x11_a2dX) | |
x12_a2dY; | |
FormFailure y_a2dF -> | |
$fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
(FormFailure y_a2dF) x06_a2dS) | |
x07_a2dT) | |
x08_a2dU) | |
x09_a2dV) | |
x10_a2dW) | |
x11_a2dX) | |
x12_a2dY | |
}; | |
FormFailure y_a2dF -> | |
case x05_a2dR of { | |
__DEFAULT -> | |
$fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
(FormFailure y_a2dF) x06_a2dS) | |
x07_a2dT) | |
x08_a2dU) | |
x09_a2dV) | |
x10_a2dW) | |
x11_a2dX) | |
x12_a2dY; | |
FormFailure y1_a2dD -> | |
$fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
(FormFailure (++ y_a2dF y1_a2dD)) x06_a2dS) | |
x07_a2dT) | |
x08_a2dU) | |
x09_a2dV) | |
x10_a2dW) | |
x11_a2dX) | |
x12_a2dY | |
}; | |
FormSuccess g2_X2mC -> | |
let { | |
f_a2dA | |
f_a2dA | |
= \ dt_a2My | |
dt1_a2Mz | |
dt2_a2MA | |
dt3_a2MB | |
dt4_a2MC | |
dt5_a2MD | |
dt6_a2ME | |
dt7_a2MF -> | |
case g1_X2mx of dt8_X2MJ | |
{ PS ipv36_s61R ipv37_s61S ipv38_s61T ipv39_s61U -> | |
case g2_X2mC of dt9_X2ML | |
{ PS ipv40_s61X ipv41_s61Y ipv42_s61Z ipv43_s620 -> | |
case dt_a2My of dt10_X2MN | |
{ PS ipv44_s623 ipv45_s624 ipv46_s625 ipv47_s626 -> | |
case dt1_a2Mz of dt11_X2MP | |
{ PS ipv48_s629 ipv49_s62a ipv50_s62b ipv51_s62c -> | |
case dt2_a2MA of dt12_X2MR | |
{ PS ipv52_s62f ipv53_s62g ipv54_s62h ipv55_s62i -> | |
case dt3_a2MB of dt13_X2MT | |
{ PS ipv56_s62l ipv57_s62m ipv58_s62n ipv59_s62o -> | |
case dt4_a2MC of dt14_X2MV | |
{ PS ipv60_s62r ipv61_s62s ipv62_s62t ipv63_s62u -> | |
case dt5_a2MD of dt15_X2MX | |
{ PS ipv64_s62x ipv65_s62y ipv66_s62z ipv67_s62A -> | |
case dt6_a2ME of dt16_X2MZ | |
{ PS ipv68_s62D ipv69_s62E ipv70_s62F ipv71_s62G -> | |
case dt7_a2MF of dt17_X2N1 | |
{ PS ipv72_s62J ipv73_s62K ipv74_s62L ipv75_s62M -> | |
HugeStruct | |
a_a2dI | |
g_a2dB | |
dt8_X2MJ | |
dt9_X2ML | |
dt10_X2MN | |
dt11_X2MP | |
dt12_X2MR | |
dt13_X2MT | |
dt14_X2MV | |
dt15_X2MX | |
dt16_X2MZ | |
dt17_X2N1 | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} } in | |
case x05_a2dR of { | |
FormMissing -> | |
$fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
FormMissing x06_a2dS) | |
x07_a2dT) | |
x08_a2dU) | |
x09_a2dV) | |
x10_a2dW) | |
x11_a2dX) | |
x12_a2dY; | |
FormFailure y_a2dF -> | |
$fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
(FormFailure y_a2dF) x06_a2dS) | |
x07_a2dT) | |
x08_a2dU) | |
x09_a2dV) | |
x10_a2dW) | |
x11_a2dX) | |
x12_a2dY; | |
FormSuccess g3_X2mH -> | |
$fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
($fApplicativeFormResult_$c<*> | |
(FormSuccess (f_a2dA g3_X2mH)) x06_a2dS) | |
x07_a2dT) | |
x08_a2dU) | |
x09_a2dV) | |
x10_a2dW) | |
x11_a2dX) | |
x12_a2dY | |
} | |
} | |
} | |
} | |
}, | |
s'17_X4HH, | |
case w2_a4w2 `cast` <Co:1> of { | |
False -> | |
case w1_X4Cj `cast` <Co:1> of { | |
False -> | |
case w3_X4CE `cast` <Co:1> of { | |
False -> | |
case w4_X4CZ `cast` <Co:1> of { | |
False -> | |
case w5_X4Dk `cast` <Co:1> of { | |
False -> | |
case w6_X4DF `cast` <Co:1> of { | |
False -> | |
case w7_X4E0 `cast` <Co:1> of { | |
False -> | |
case w8_X4El `cast` <Co:1> of { | |
False -> | |
case w9_X4EG `cast` <Co:1> of { | |
False -> | |
case w10_X4F1 `cast` <Co:1> of { | |
False -> | |
case w11_X4Fm `cast` <Co:1> of { | |
False -> | |
case w12_X4FH `cast` <Co:1> of { | |
False -> | |
case w13_X4G2 `cast` <Co:1> of { | |
False -> | |
case w14_X4Gn `cast` <Co:1> of { | |
False -> | |
case w15_X4GI `cast` <Co:1> | |
of { | |
False -> | |
case w16_X4H3 `cast` <Co:1> | |
of { | |
False -> | |
case w17_X4Ho | |
`cast` <Co:1> | |
of { | |
False -> w18_X4HJ; | |
True -> | |
True `cast` <Co:2> | |
}; | |
True -> | |
True `cast` <Co:2> | |
}; | |
True -> True `cast` <Co:2> | |
}; | |
True -> True `cast` <Co:2> | |
}; | |
True -> True `cast` <Co:2> | |
}; | |
True -> True `cast` <Co:2> | |
}; | |
True -> True `cast` <Co:2> | |
}; | |
True -> True `cast` <Co:2> | |
}; | |
True -> True `cast` <Co:2> | |
}; | |
True -> True `cast` <Co:2> | |
}; | |
True -> True `cast` <Co:2> | |
}; | |
True -> True `cast` <Co:2> | |
}; | |
True -> True `cast` <Co:2> | |
}; | |
True -> True `cast` <Co:2> | |
}; | |
True -> True `cast` <Co:2> | |
}; | |
True -> True `cast` <Co:2> | |
}; | |
True -> True `cast` <Co:2> | |
}) #) | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
}) | |
`cast` <Co:23> | |
-- RHS size: {terms: 1, types: 0, coercions: 16, joins: 0/0} | |
sampleForm2 | |
sampleForm2 = sampleForm1 `cast` <Co:16> | |
------ Local rules for imported ids -------- | |
"SPEC/Main $fFunctorReaderT_$cfmap @ IO _" | |
forall @ r_a5Tg $dFunctor_s5Tu. | |
$fFunctorReaderT_$cfmap $dFunctor_s5Tu | |
= $s$fApplicativeReaderT_$s$fFunctorReaderT_$cfmap | |
"SPEC/Main $fFunctorReaderT_$c<$ @ IO _" | |
forall @ r_a5T7 $dFunctor_s5TN. | |
$fFunctorReaderT_$c<$ $dFunctor_s5TN | |
= $s$fApplicativeReaderT_$s$fFunctorReaderT_$c<$ | |
"SPEC/Main $fFunctorReaderT @ IO _" | |
forall @ r_a4k6 v_X5YT. | |
$fFunctorReaderT v_X5YT | |
= $s$fApplicativeReaderT_$s$fFunctorReaderT | |
"SPEC/Main $fApplicativeReaderT_$c<*> @ IO _" | |
forall @ r_a5SG $dApplicative_s5TZ. | |
$fApplicativeReaderT_$c<*> $dApplicative_s5TZ | |
= $s$fApplicativeReaderT_$s$fApplicativeReaderT_$c<*> | |
"SPEC/Main $fApplicativeReaderT_$c*> @ IO _" | |
forall @ r_a5Sk $dApplicative_s5U1. | |
$fApplicativeReaderT_$c*> $dApplicative_s5U1 | |
= $s$fApplicativeReaderT_$s$fApplicativeReaderT_$c*> | |
"SPEC/Main $fApplicativeReaderT_$c<* @ IO _" | |
forall @ r_a5S8 $dApplicative_s5U3. | |
$fApplicativeReaderT_$c<* $dApplicative_s5U3 | |
= $s$fApplicativeReaderT_$s$fApplicativeReaderT_$c<* | |
"SPEC/Main $fApplicativeReaderT @ IO _" | |
forall @ r_a5RD v_X5XU. | |
$fApplicativeReaderT v_X5XU | |
= $s$fApplicativeReaderT | |
"SPEC/Main $fMonadReaderT_$c>>= @ IO _" | |
forall @ r_a4wA $dMonad_s5U5. | |
$fMonadReaderT_$c>>= $dMonad_s5U5 | |
= $s$fMonadIOReaderT_$s$fMonadReaderT_$c>>= | |
"SPEC/Main $fMonadReaderT_$cfail @ IO _" | |
forall @ r_a5Rh $dMonad_s5Uh. | |
$fMonadReaderT_$cfail $dMonad_s5Uh | |
= $s$fMonadIOReaderT_$s$fMonadReaderT_$cfail | |
"SPEC/Main $fMonadReaderT @ IO _" | |
forall @ r_a4jK v_X5X3. | |
$fMonadReaderT v_X5X3 | |
= $s$fMonadIOReaderT_$s$fMonadReaderT | |
"SPEC/Main $fMonadIOReaderT @ IO _" | |
forall @ r_a4bg v_s5R0. | |
$fMonadIOReaderT v_s5R0 | |
= $s$fMonadIOReaderT | |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment