================================================================================
Typechecked:
{- nonrec -}
{- nonrec -}
E1{-r3K,x-}{i} =
    _/\_ a{-r3A-} ->
	E1{-r3K,x-}{i}
	    {_@_ a{-r3A-}}
{- nonrec -}
D1{-r6,x-}{i} =
    _/\_ b{-r3C-} ->
	D1{-r6,x-}{i}
	    {_@_ b{-r3C-}}
D2{-r5,x-}{i} =
    _/\_ b{-r3C-} -> \ tpl_B1 ->
	D2{-r5,x-}{i}
	    {_@_ b{-r3C-} tpl_B1}
{- nonrec -}
C1{-rb,x-}{i} =
    _/\_ a{-r3H-} b{-r3I-} -> \ tpl_B1 ->
	C1{-rb,x-}{i}
	    {_@_ a{-r3H-} _@_ b{-r3I-} tpl_B1}
C2{-ra,x-}{i} =
    _/\_ a{-r3H-} b{-r3I-} -> \ tpl_B1 ->
	C2{-ra,x-}{i}
	    {_@_ a{-r3H-} _@_ b{-r3I-} tpl_B1}
C3{-rd,x-}{i} =
    _/\_ a{-r3H-} b{-r3I-} -> \ tpl_B1 ->
	C3{-rd,x-}{i}
	    {_@_ a{-r3H-} _@_ b{-r3I-} tpl_B1}
{- rec -}
AbsBinds [a{-a1fw-}] [] [([a{-a1fw-}], $d3{-r1fM,x-}, d.Eval_a15O)]
    d.Eval_a15O =
	({-dict-} [] [])
{- rec -}
AbsBinds [b{-a1fx-}] [] [([b{-a1fx-}], $d4{-r1ge,x-}, d.Eval_a15U)]
    d.Eval_a15U =
	({-dict-} [] [])
{- rec -}
AbsBinds
[a{-a1fy-}, b{-a1fz-}]
[]
[([a{-a1fy-}, b{-a1fz-}], $d5{-r1gf,x-}, d.Eval_a161)]
    d.Eval_a161 =
	({-dict-} [] [])
{- rec -}
AbsBinds
[b{-a178-}]
[d.Eq_a17C]
[([b{-a178-}], $d6{-r1gg,x-}, d.Read_a167)]
    d.Eq_a17Y =
	PrelBase.$d7{-rc5,p-}
    d.Eq_a17Z =
	d.Eq_a17C
    d.Read_a17W =
	$d7{-r1gl,x-}
	    [PrelBase.Int{-3g,p-}, b{-a178-}]
	    [d.Eq_a17Y, d.Eq_a17Z]
    readsPrec_a1gk =
	PrelRead.readsPrec{-rlS,p-}
	    (X{-r3N,x-} PrelBase.Int{-3g,p-} b{-a178-})
	    d.Read_a17W
    readsPrec_a1gj =
	readsPrec_a1gi
    AbsBinds [] [] [([], readsPrec_a1gi, readsPrec_a16a)]
	==_a1gp =
	    ==_a1gc
	>>=_a1go =
	    >>=_a1gb
	return_a1gn =
	    return_a1ga
	zero_a1gm =
	    zero_a1g9
	readsPrec_a16a
	    a_r12Z b_r131
		    =   ++_a1gd
			    (Y{-r3M,x-} b{-a178-}, PrelBase.String{-rdl,p-})
			    (PrelRead.readParen{-rmu,p-}
				 (Y{-r3M,x-} b{-a178-})
				 PrelBase.False{-58,p-}{i}
				 \ c_r133  ->  [ (D1{-r6,x-}{i}
						      b{-a178-},
						  d_r135) |
						   ("D1", d_r135) <- PrelRead.lex{-rmh,p-}
									 c_r133
						   ]
				 b_r131)
			    (PrelRead.readParen{-rmu,p-}
				 (Y{-r3M,x-} b{-a178-})
				 a_r12Z >_a1g8 lit_a1g6
				 \ c_r137  ->  [ (D2{-r5,x-}{i}
						      b{-a178-}
						      a1_r13b,
						  b1_r13c) |
						   ("D2", d_r139) <- PrelRead.lex{-rmh,p-}
									 c_r137, (a1_r13b, b1_r13c) <- readsPrec_a1gk
													   lit_a1g4
													   d_r139
						   ]
				 b_r131)
    AbsBinds [] [] [([], readList_a1gh, readList_a17x)]
	readList_a17x
		    =   PrelRead.readList__{-rjw,p-}
			    (Y{-r3M,x-} b{-a178-})
			    readsPrec_a1gj
				lit_a1g2
    d.Read_a167 =
	({-dict-} [] [readsPrec_a1gi, readList_a1gh])
{- rec -}
AbsBinds
[a{-a1ah-}, b{-a1ai-}]
[d.Eq_a1aM, d.Eq_a1aN]
[([a{-a1ah-}, b{-a1ai-}], $d7{-r1gl,x-}, d.Read_a18a)]
    d.Eq_a1b3 =
	d.Eq_a1aM
    d.Read_a1b1 =
	$d1{-r1gw,x-}
	    a{-a1ah-}
	    d.Eq_a1b3
    readsPrec_a1gv =
	PrelRead.readsPrec{-rlS,p-}
	    (T{-r3L,x-} a{-a1ah-})
	    d.Read_a1b1
    d.Eq_a1be =
	d.Eq_a1aN
    d.Read_a1bc =
	$d6{-r1gg,x-}
	    b{-a1ai-}
	    d.Eq_a1be
    readsPrec_a1gu =
	PrelRead.readsPrec{-rlS,p-}
	    (Y{-r3M,x-} b{-a1ai-})
	    d.Read_a1bc
    d.Eq_a1bi =
	d.Eq_a1aN
    d.Eq_a1bj =
	d.Eq_a1aM
    d.Read_a1bg =
	$d7{-r1gl,x-}
	    [b{-a1ai-}, a{-a1ah-}]
	    [d.Eq_a1bi, d.Eq_a1bj]
    readsPrec_a1gt =
	PrelRead.readsPrec{-rlS,p-}
	    (X{-r3N,x-} b{-a1ai-} a{-a1ah-})
	    d.Read_a1bg
    readsPrec_a1gs =
	readsPrec_a1gr
    AbsBinds [] [] [([], readsPrec_a1gr, readsPrec_a18d)]
	++_a1gL =
	    ++_a1g1
	>_a1gK =
	    >_a1g0
	lit_a1gJ =
	    lit_a1fZ
	==_a1gI =
	    ==_a1fY
	lit_a1gH =
	    lit_a1fX
	>>=_a1gG =
	    >>=_a1fW
	return_a1gF =
	    return_a1fV
	zero_a1gE =
	    zero_a1fU
	>_a1gD =
	    >_a1g0
	lit_a1gC =
	    lit_a1fZ
	==_a1gB =
	    ==_a1fY
	lit_a1gA =
	    lit_a1fX
	>>=_a1gz =
	    >>=_a1fW
	return_a1gy =
	    return_a1fV
	zero_a1gx =
	    zero_a1fU
	readsPrec_a18d
	    a_r13j b_r13l
		    =   ++_a1g1
			    (X{-r3N,x-} a{-a1ah-} b{-a1ai-}, PrelBase.String{-rdl,p-})
			    (PrelRead.readParen{-rmu,p-}
				 (X{-r3N,x-} a{-a1ah-} b{-a1ai-})
				 a_r13j >_a1g0 lit_a1fZ
				 \ c_r13n  ->  [ (C1{-rb,x-}{i}
						      [a{-a1ah-}, b{-a1ai-}]
						      a1_r13r,
						  b1_r13s) |
						   ("C1", d_r13p) <- PrelRead.lex{-rmh,p-}
									 c_r13n, (a1_r13r, b1_r13s) <- readsPrec_a1gv
													   lit_a1fX
													   d_r13p
						   ]
				 b_r13l)
			    (++_a1gL
				 (X{-r3N,x-} a{-a1ah-} b{-a1ai-}, PrelBase.String{-rdl,p-})
				 (PrelRead.readParen{-rmu,p-}
				      (X{-r3N,x-} a{-a1ah-} b{-a1ai-})
				      a_r13j >_a1gK lit_a1gJ
				      \ c_r13u  ->  [ (C2{-ra,x-}{i}
							   [a{-a1ah-}, b{-a1ai-}]
							   a1_r13y,
						       b1_r13z) |
							("C2", d_r13w) <- PrelRead.lex{-rmh,p-}
									      c_r13u, (a1_r13y, b1_r13z) <- readsPrec_a1gu
														lit_a1gH
														d_r13w
							]
				      b_r13l)
				 (PrelRead.readParen{-rmu,p-}
				      (X{-r3N,x-} a{-a1ah-} b{-a1ai-})
				      a_r13j >_a1gD lit_a1gC
				      \ c_r13B  ->  [ (C3{-rd,x-}{i}
							   [a{-a1ah-}, b{-a1ai-}]
							   a1_r13F,
						       b1_r13G) |
							("C3", d_r13D) <- PrelRead.lex{-rmh,p-}
									      c_r13B, (a1_r13F, b1_r13G) <- readsPrec_a1gt
														lit_a1gA
														d_r13D
							]
				      b_r13l))
    AbsBinds [] [] [([], readList_a1gq, readList_a1aH)]
	readList_a1aH
		    =   PrelRead.readList__{-rjw,p-}
			    (X{-r3N,x-} a{-a1ah-} b{-a1ai-})
			    readsPrec_a1gs
				lit_a1fT
    d.Read_a18a =
	({-dict-} [] [readsPrec_a1gr, readList_a1gq])
{- rec -}
AbsBinds
[b{-a1bz-}]
[d.Eq_a1c4]
[([b{-a1bz-}], $d8{-r1gM,x-}, d.Show_a1bs)]
    d.Eq_a1cg =
	PrelBase.$d7{-rc5,p-}
    d.Eq_a1ch =
	d.Eq_a1c4
    d.Show_a1ce =
	$d9{-r1gR,x-}
	    [PrelBase.Int{-3g,p-}, b{-a1bz-}]
	    [d.Eq_a1cg, d.Eq_a1ch]
    showsPrec_a1gQ =
	PrelBase.showsPrec{-rdi,p-}
	    (X{-r3N,x-} PrelBase.Int{-3g,p-} b{-a1bz-})
	    d.Show_a1ce
    showsPrec_a1gP =
	showsPrec_a1gO
    AbsBinds [] [] [([], showsPrec_a1gO, showsPrec_a1bv)]
	lit_a1gS =
	    lit_a1fR
	showsPrec_a1bv
	    a_r13N D1{-r6,x-}{i}
		    =   PrelBase.showString{-rhV,p-}
			    "D1"
	showsPrec_a1bv
	    a_r13Q (D2{-r5,x-}{i} b1_r13S)
		    =   PrelBase.showParen{-rhS,p-}
			    a_r13Q >=_a1fS lit_a1fR
			    PrelBase..{-rd1,p-}
				[PrelBase.String{-rdl,p-}, PrelBase.String{-rdl,p-}, PrelBase.String{-rdl,p-}]
				PrelBase.showString{-rhV,p-}
				    "D2 "
				showsPrec_a1gQ
				    lit_a1gS b1_r13S
    AbsBinds [] [] [([], showList_a1gN, showList_a1bZ)]
	showList_a1bZ
		    =   PrelBase.showList__{-r3J,p-}
			    (Y{-r3M,x-} b{-a1bz-})
			    showsPrec_a1gP
				lit_a1fQ
    d.Show_a1bs =
	({-dict-} [] [showsPrec_a1gO, showList_a1gN])
{- rec -}
AbsBinds
[a{-a1cA-}, b{-a1cD-}]
[d.Eq_a1dJ, d.Eq_a1dK]
[([a{-a1cA-}, b{-a1cD-}], $d9{-r1gR,x-}, d.Show_a1cr)]
    d.Eq_a1dW =
	d.Eq_a1dJ
    d.Show_a1dU =
	$d2{-r1gZ,x-}
	    a{-a1cA-}
	    d.Eq_a1dW
    showsPrec_a1gY =
	PrelBase.showsPrec{-rdi,p-}
	    (T{-r3L,x-} a{-a1cA-})
	    d.Show_a1dU
    d.Eq_a1e0 =
	d.Eq_a1dK
    d.Show_a1dY =
	$d8{-r1gM,x-}
	    b{-a1cD-}
	    d.Eq_a1e0
    showsPrec_a1gX =
	PrelBase.showsPrec{-rdi,p-}
	    (Y{-r3M,x-} b{-a1cD-})
	    d.Show_a1dY
    d.Eq_a1e4 =
	d.Eq_a1dK
    d.Eq_a1e5 =
	d.Eq_a1dJ
    d.Show_a1e2 =
	$d9{-r1gR,x-}
	    [b{-a1cD-}, a{-a1cA-}]
	    [d.Eq_a1e4, d.Eq_a1e5]
    showsPrec_a1gW =
	PrelBase.showsPrec{-rdi,p-}
	    (X{-r3N,x-} b{-a1cD-} a{-a1cA-})
	    d.Show_a1e2
    showsPrec_a1gV =
	showsPrec_a1gU
    AbsBinds [] [] [([], showsPrec_a1gU, showsPrec_a1cu)]
	lit_a1h6 =
	    lit_a1fO
	>=_a1h5 =
	    >=_a1fP
	lit_a1h4 =
	    lit_a1fO
	lit_a1h3 =
	    lit_a1fO
	>=_a1h2 =
	    >=_a1fP
	lit_a1h1 =
	    lit_a1fO
	lit_a1h0 =
	    lit_a1fO
	showsPrec_a1cu
	    a_r13Z (C1{-rb,x-}{i} b1_r141)
		    =   PrelBase.showParen{-rhS,p-}
			    a_r13Z >=_a1fP lit_a1fO
			    PrelBase..{-rd1,p-}
				[PrelBase.String{-rdl,p-}, PrelBase.String{-rdl,p-}, PrelBase.String{-rdl,p-}]
				PrelBase.showString{-rhV,p-}
				    "C1 "
				showsPrec_a1gY
				    lit_a1h6 b1_r141
	showsPrec_a1cu
	    a_r143 (C2{-ra,x-}{i} b1_r145)
		    =   PrelBase.showParen{-rhS,p-}
			    a_r143 >=_a1h5 lit_a1h4
			    PrelBase..{-rd1,p-}
				[PrelBase.String{-rdl,p-}, PrelBase.String{-rdl,p-}, PrelBase.String{-rdl,p-}]
				PrelBase.showString{-rhV,p-}
				    "C2 "
				showsPrec_a1gX
				    lit_a1h3 b1_r145
	showsPrec_a1cu
	    a_r147 (C3{-rd,x-}{i} b1_r149)
		    =   PrelBase.showParen{-rhS,p-}
			    a_r147 >=_a1h2 lit_a1h1
			    PrelBase..{-rd1,p-}
				[PrelBase.String{-rdl,p-}, PrelBase.String{-rdl,p-}, PrelBase.String{-rdl,p-}]
				PrelBase.showString{-rhV,p-}
				    "C3 "
				showsPrec_a1gW
				    lit_a1h0 b1_r149
    AbsBinds [] [] [([], showList_a1gT, showList_a1dE)]
	showList_a1dE
		    =   PrelBase.showList__{-r3J,p-}
			    (X{-r3N,x-} a{-a1cA-} b{-a1cD-})
			    showsPrec_a1gV
				lit_a1fN
    d.Show_a1cr =
	({-dict-} [] [showsPrec_a1gU, showList_a1gT])
{- rec -}
AbsBinds
[a{-a1ek-}]
[d.Eq_a1es]
[([a{-a1ek-}], $d1{-r1gw,x-}, d.Read_a1ee)]
    d.Read_a1ew =
	d.Read_a1ee
    $mreadList_a1h8 =
	PrelRead.$mreadList{-rlO,p-}
	    (T{-r3L,x-} a{-a1ek-})
	    d.Read_a1ew
    AbsBinds [] [] [([], readsPrec_a1h7, readsPrec_a1eh)]
	readsPrec_a1eh
	    =   IOBase.error{-87,p-}
		    (PrelBase.Int{-3g,p-}
		     -> PrelBase.String{-rdl,p-}
		     -> [(T{-r3L,x-} a{-a1ek-}, PrelBase.String{-rdl,p-})])
		    "read"
    AbsBinds [] [] [([], readList_a1en, readList_a1ep)]
	readList_a1ep
	    =   $mreadList_a1h8
    d.Read_a1ee =
	({-dict-} [] [readsPrec_a1h7, readList_a1en])
{- rec -}
AbsBinds
[a{-a1eJ-}]
[d.Eq_a1eR]
[([a{-a1eJ-}], $d2{-r1gZ,x-}, d.Show_a1eD)]
    d.Show_a1eV =
	d.Show_a1eD
    $mshowList_a1ha =
	PrelBase.$mshowList{-rcA,p-}
	    (T{-r3L,x-} a{-a1eJ-})
	    d.Show_a1eV
    AbsBinds [] [] [([], showsPrec_a1h9, showsPrec_a1eG)]
	showsPrec_a1eG
	    =   IOBase.error{-87,p-}
		    (PrelBase.Int{-3g,p-}
		     -> T{-r3L,x-} a{-a1eJ-}
		     -> PrelBase.String{-rdl,p-}
		     -> PrelBase.String{-rdl,p-})
		    "show"
    AbsBinds [] [] [([], showList_a1eM, showList_a1eO)]
	showList_a1eO
	    =   $mshowList_a1ha
    d.Show_a1eD =
	({-dict-} [] [showsPrec_a1h9, showList_a1eM])
{- nonrec -}
d.MonadPlus_a1eY =
    PrelBase.$d22{-rbr,p-}
++_a1gd =
    PrelBase.++{-rfN,p-}
	PrelBase.[]{-3j,p-}
	d.MonadPlus_a1eY
d.Eq_a1f3 =
    PrelBase.$d33{-rbD,p-}
d.Eq_a1f1 =
    PrelBase.$d27{-rbw,p-}
	PrelBase.Char{-38,p-}
	d.Eq_a1f3
==_a1gc =
    PrelBase.=={-8Y,p-}
	[PrelBase.Char{-38,p-}]
	d.Eq_a1f1
d.Monad_a1f6 =
    PrelBase.$d24{-rbt,p-}
>>=_a1gb =
    PrelBase.>>={-811,p-}
	PrelBase.[]{-3j,p-}
	d.Monad_a1f6
d.Monad_a1f9 =
    d.Monad_a1f6
return_a1ga =
    PrelBase.return{-816,p-}
	PrelBase.[]{-3j,p-}
	d.Monad_a1f9
d.MonadZero_a1fb =
    PrelBase.$d23{-rbs,p-}
zero_a1g9 =
    PrelBase.zero{-810,p-}
	PrelBase.[]{-3j,p-}
	d.MonadZero_a1fb
d.Ord_a1fe =
    PrelBase.$d6{-rc4,p-}
>_a1g8 =
    PrelBase.>{-rdf,p-}
	PrelBase.Int{-3g,p-}
	d.Ord_a1fe
d.Num_a1fi =
    PrelBase.$d3{-rbz,p-}
fromInt_a1g7 =
    PrelBase.fromInt{-8R,p-}
	PrelBase.Int{-3g,p-}
	d.Num_a1fi
lit_a1g6 =
    fromInt_a1g7
	PrelBase.I#{-5b,p-}{i}
	    9#
fromInt_a1g5 =
    fromInt_a1g7
lit_a1g4 =
    fromInt_a1g5
	PrelBase.I#{-5b,p-}{i}
	    10#
fromInt_a1g3 =
    fromInt_a1g7
lit_a1g2 =
    fromInt_a1g3
	PrelBase.I#{-5b,p-}{i}
	    0#
++_a1g1 =
    ++_a1gd
>_a1g0 =
    >_a1g8
lit_a1fZ =
    lit_a1g6
==_a1fY =
    ==_a1gc
lit_a1fX =
    lit_a1g4
>>=_a1fW =
    >>=_a1gb
return_a1fV =
    return_a1ga
zero_a1fU =
    zero_a1g9
lit_a1fT =
    lit_a1g2
d.Ord_a1fn =
    d.Ord_a1fe
>=_a1fS =
    PrelBase.>={-8Z,p-}
	PrelBase.Int{-3g,p-}
	d.Ord_a1fn
lit_a1fR =
    lit_a1g4
lit_a1fQ =
    lit_a1g2
>=_a1fP =
    >=_a1fS
lit_a1fO =
    lit_a1g4
lit_a1fN =
    lit_a1g2
ghc: module version changed to 1; reason: no old .hi file