================================================================================
Typechecked:
{- nonrec -}
{- nonrec -}
MkFoo1{-rk,x-}{i} =
    _/\_ a{-r4z-} b{-r4A-} c{-r4B-} -> \ tpl_B1 tpl_B2 ->
	MkFoo1{-rk,x-}{i}
	    {_@_ a{-r4z-} _@_ b{-r4A-} _@_ c{-r4B-} tpl_B1 tpl_B2}
:##{-rj,x-}{i} =
    _/\_ a{-r4z-} b{-r4A-} c{-r4B-} -> \ tpl_B1 tpl_B2 ->
	:##{-rj,x-}{i}
	    {_@_ a{-r4z-} _@_ b{-r4A-} _@_ c{-r4B-} tpl_B1 tpl_B2}
MkFoo3{-rm,x-}{i} =
    _/\_ a{-r4z-} b{-r4A-} c{-r4B-} -> \ tpl_B1 tpl_B2 ->
	MkFoo3{-rm,x-}{i}
	    {_@_ a{-r4z-} _@_ b{-r4A-} _@_ c{-r4B-} tpl_B1 tpl_B2}
:***{-ro,x-}{i} =
    _/\_ a{-r4z-} b{-r4A-} c{-r4B-} -> \ tpl_B1 tpl_B2 ->
	:***{-ro,x-}{i}
	    {_@_ a{-r4z-} _@_ b{-r4A-} _@_ c{-r4B-} tpl_B1 tpl_B2}
{- nonrec -}
scsel_Bar2Print002Bar{-aVQ,x-} =
    _/\_ a{-r4n-} -> \ tpl_B1 ->
	tpl_B1
{- nonrec -}
{- nonrec -}
meth1{-r4R,x-} =
    _/\_ a{-r4q-} -> \ tpl_B1 ->
	case tpl_B1 of { PrelTup.(,,){-63,p-}{i} tpl_B1 tpl_B2 tpl_B3  ->
	tpl_B1;}
/////{-r4Q,x-} =
    _/\_ a{-r4q-} -> \ tpl_B1 ->
	case tpl_B1 of { PrelTup.(,,){-63,p-}{i} tpl_B1 tpl_B2 tpl_B3  ->
	tpl_B2;}
meth2{-r4P,x-} =
    _/\_ a{-r4q-} -> \ tpl_B1 ->
	case tpl_B1 of { PrelTup.(,,){-63,p-}{i} tpl_B1 tpl_B2 tpl_B3  ->
	tpl_B3;}
{- nonrec -}
AbsBinds
[a{-aVq-}]
[d.Bar_aVj]
[([a{-aVq-}], $mmeth1{-rLc,x-}, meth1_aVl)]
    AbsBinds [] [] [([], meth1_aVl, meth1_aVn)]
	meth1_aVn
	    =   GHCerr.noDefaultMethodError{-8k,p-}
		    (a{-aVq-} -> a{-aVq-} -> PrelBase.Bool{-34,p-})
		    "Class Bar Method meth1"
AbsBinds
[a{-aVq-}]
[d.Bar_aVt]
[([a{-aVq-}], $m/////{-rLb,x-}, /////_aVv)]
    AbsBinds [] [] [([], /////_aVv, /////_aVx)]
	/////_aVx
	    =   GHCerr.noDefaultMethodError{-8k,p-}
		    (a{-aVq-} -> a{-aVq-} -> PrelBase.Bool{-34,p-})
		    "Class Bar Method /////"
AbsBinds
[a{-aVq-}]
[d.Bar_aVC]
[([a{-aVq-}], $mmeth2{-rLa,x-}, meth2_aVF)]
    AbsBinds [b{-aVM-}] [] [([b{-aVM-}], meth2_aVF, meth2_aVI)]
	meth2_aVI
	    =   GHCerr.noDefaultMethodError{-8k,p-}
		    (a{-aVq-} -> b{-aVM-} -> PrelBase.Bool{-34,p-})
		    "Class Bar Method meth2"
{- rec -}
AbsBinds
[a{-aOK-}, b{-aON-}, c{-aOQ-}]
[d.Eq_aQB, d.Eq_aQC, d.Eq_aQD]
[([a{-aOK-}, b{-aON-}, c{-aOQ-}], $d1{-rVR,x-}, d.Eq_aOA)]
    d.Eq_aQH =
	d.Eq_aQB
    ==_aVX =
	PrelBase.=={-8Y,p-}
	    a{-aOK-}
	    d.Eq_aQH
    d.Eq_aQJ =
	d.Eq_aQC
    ==_aVW =
	PrelBase.=={-8Y,p-}
	    b{-aON-}
	    d.Eq_aQJ
    d.Eq_aQL =
	d.Eq_aQD
    ==_aVV =
	PrelBase.=={-8Y,p-}
	    c{-aOQ-}
	    d.Eq_aQL
    ==_aVU =
	==_aVT
    AbsBinds [] [] [([], ==_aVT, ==_aOD)]
	==_aW2 =
	    ==_aVX
	==_aW1 =
	    ==_aVW
	==_aW0 =
	    ==_aVW
	==_aVZ =
	    ==_aVV
	==_aVY =
	    ==_aVV
	==_aOD
	    (MkFoo1{-rk,x-}{i} a1_rIv a2_rIw) (MkFoo1{-rk,x-}{i} b1_rIy b2_rIz)
		    =   (a1_rIv ==_aVX b1_rIy)
			PrelBase.&&{-re5,p-} (a2_rIw ==_aW2 b2_rIz)
	==_aOD
	    (:##{-rj,x-}{i} a1_rIB a2_rIC) (:##{-rj,x-}{i} b1_rIE b2_rIF)
		    =   (a1_rIB ==_aVW b1_rIE)
			PrelBase.&&{-re5,p-} (a2_rIC ==_aVV b2_rIF)
	==_aOD
	    (MkFoo3{-rm,x-}{i} a1_rIH a2_rII) (MkFoo3{-rm,x-}{i} b1_rIK b2_rIL)
		    =   (a1_rIH ==_aW1 b1_rIK)
			PrelBase.&&{-re5,p-} (a2_rII ==_aW0 b2_rIL)
	==_aOD
	    (:***{-ro,x-}{i} a1_rIN a2_rIO) (:***{-ro,x-}{i} b1_rIQ b2_rIR)
		    =   (a1_rIN ==_aVZ b1_rIQ)
			PrelBase.&&{-re5,p-} (a2_rIO ==_aVY b2_rIR)
	==_aOD
	    a_rIT b_rIV
		    =   PrelBase.False{-58,p-}{i}
    AbsBinds [] [] [([], /=_aVS, /=_aQu)]
	/=_aQu
	    a_rIZ b_rJ1
		    =   PrelBase.not{-rgK,p-}
			    ==_aVU
				a_rIZ b_rJ1
    d.Eq_aOA =
	({-dict-} [] [==_aVT, /=_aVS])
{- rec -}
AbsBinds
[a{-aVN-}, b{-aVP-}, c{-aVO-}]
[]
[([a{-aVN-}, b{-aVP-}, c{-aVO-}], $d2{-rW3,x-}, d.Eval_aQW)]
    d.Eval_aQW =
	({-dict-} [] [])
{- rec -}
AbsBinds
[a{-aRa-}, b{-aRb-}, c{-aRc-}]
[d.Ord_aV0, d.Ord_aV1, d.Ord_aV2, d.Eq_aV3]
[([a{-aRa-}, b{-aRb-}, c{-aRc-}], $d3{-rW4,x-}, d.Ord_aR4)]
    d.Eq_aV4 =
	d.Eq_aV3
    d.Ord_aTL =
	d.Ord_aV0
    d.Ord_aTM =
	d.Ord_aV1
    d.Ord_aTN =
	d.Ord_aV2
    compare_aWh =
	compare_aWb
    compare_aWg =
	compare_aWb
    compare_aWf =
	compare_aWb
    compare_aWe =
	compare_aWb
    compare_aWd =
	compare_aWb
    compare_aWc =
	compare_aWb
    AbsBinds [] [] [([], compare_aWb, compare_aR7)]
	compare_aR7
	    a_rJZ b_rK1
		    =   case
			    con2tag_Foo#_rIm
				[c{-aRc-}, a{-aRa-}, b{-aRb-}]
				a_rJZ
			of
			  a#_rKT  ->  case
					  con2tag_Foo#_rIm
					      [c{-aRc-}, a{-aRa-}, b{-aRb-}]
					      b_rK1
				      of
					b#_rKV  ->  if a#_rKT GHC.==#{-79,p-}{I} b#_rKV then
							case
							    cmp_eq_aWi
								a_rJZ b_rK1
							of
							  PrelBase.LT{-rc8,p-}{i}
								  ->  PrelBase.LT{-rc8,p-}{i}
							  PrelBase.EQ{-r4C,p-}{i}
								  ->  PrelBase.EQ{-r4C,p-}{i}
							  PrelBase.GT{-rc9,p-}{i}
								  ->  PrelBase.GT{-rc9,p-}{i}
						    else
							if a#_rKT GHC.<#{-7b,p-}{I} b#_rKV then
							    PrelBase.LT{-rc8,p-}{i}
							else
							    PrelBase.GT{-rc9,p-}{i}
		    where
			{- nonrec -}
			AbsBinds
			[c{-aST-}, a{-aT4-}, b{-aT5-}]
			[d.Ord_aTe, d.Ord_aTg, d.Ord_aTi]
			[([c{-aST-}, a{-aT4-}, b{-aT5-}], cmp_eq_rK3, cmp_eq_aRg)]
			    compare_aWq =
				PrelBase.compare{-rei,p-}
				    a{-aT4-}
				    d.Ord_aTe
			    compare_aWp =
				compare_aWq
			    compare_aWo =
				PrelBase.compare{-rei,p-}
				    b{-aT5-}
				    d.Ord_aTg
			    compare_aWn =
				PrelBase.compare{-rei,p-}
				    c{-aST-}
				    d.Ord_aTi
			    compare_aWm =
				compare_aWo
			    compare_aWl =
				compare_aWo
			    compare_aWk =
				compare_aWn
			    compare_aWj =
				compare_aWn
			    cmp_eq_aRg
				(MkFoo1{-rk,x-}{i} a1_rK5 a2_rK6) (MkFoo1{-rk,x-}{i} b1_rK8 b2_rK9)
					=   case
						compare_aWq
						    a1_rK5 b1_rK8
					    of
					      PrelBase.LT{-rc8,p-}{i}
						      ->  PrelBase.LT{-rc8,p-}{i}
					      PrelBase.EQ{-r4C,p-}{i}
						      ->  case
							      compare_aWp
								  a2_rK6 b2_rK9
							  of
							    PrelBase.LT{-rc8,p-}{i}
								    ->  PrelBase.LT{-rc8,p-}{i}
							    PrelBase.EQ{-r4C,p-}{i}
								    ->  PrelBase.EQ{-r4C,p-}{i}
							    PrelBase.GT{-rc9,p-}{i}
								    ->  PrelBase.GT{-rc9,p-}{i}
					      PrelBase.GT{-rc9,p-}{i}
						      ->  PrelBase.GT{-rc9,p-}{i}
			    cmp_eq_aRg
				(:##{-rj,x-}{i} a1_rKh a2_rKi) (:##{-rj,x-}{i} b1_rKk b2_rKl)
					=   case
						compare_aWo
						    a1_rKh b1_rKk
					    of
					      PrelBase.LT{-rc8,p-}{i}
						      ->  PrelBase.LT{-rc8,p-}{i}
					      PrelBase.EQ{-r4C,p-}{i}
						      ->  case
							      compare_aWn
								  a2_rKi b2_rKl
							  of
							    PrelBase.LT{-rc8,p-}{i}
								    ->  PrelBase.LT{-rc8,p-}{i}
							    PrelBase.EQ{-r4C,p-}{i}
								    ->  PrelBase.EQ{-r4C,p-}{i}
							    PrelBase.GT{-rc9,p-}{i}
								    ->  PrelBase.GT{-rc9,p-}{i}
					      PrelBase.GT{-rc9,p-}{i}
						      ->  PrelBase.GT{-rc9,p-}{i}
			    cmp_eq_aRg
				(MkFoo3{-rm,x-}{i} a1_rKt a2_rKu) (MkFoo3{-rm,x-}{i} b1_rKw b2_rKx)
					=   case
						compare_aWm
						    a1_rKt b1_rKw
					    of
					      PrelBase.LT{-rc8,p-}{i}
						      ->  PrelBase.LT{-rc8,p-}{i}
					      PrelBase.EQ{-r4C,p-}{i}
						      ->  case
							      compare_aWl
								  a2_rKu b2_rKx
							  of
							    PrelBase.LT{-rc8,p-}{i}
								    ->  PrelBase.LT{-rc8,p-}{i}
							    PrelBase.EQ{-r4C,p-}{i}
								    ->  PrelBase.EQ{-r4C,p-}{i}
							    PrelBase.GT{-rc9,p-}{i}
								    ->  PrelBase.GT{-rc9,p-}{i}
					      PrelBase.GT{-rc9,p-}{i}
						      ->  PrelBase.GT{-rc9,p-}{i}
			    cmp_eq_aRg
				(:***{-ro,x-}{i} a1_rKF a2_rKG) (:***{-ro,x-}{i} b1_rKI b2_rKJ)
					=   case
						compare_aWk
						    a1_rKF b1_rKI
					    of
					      PrelBase.LT{-rc8,p-}{i}
						      ->  PrelBase.LT{-rc8,p-}{i}
					      PrelBase.EQ{-r4C,p-}{i}
						      ->  case
							      compare_aWj
								  a2_rKG b2_rKJ
							  of
							    PrelBase.LT{-rc8,p-}{i}
								    ->  PrelBase.LT{-rc8,p-}{i}
							    PrelBase.EQ{-r4C,p-}{i}
								    ->  PrelBase.EQ{-r4C,p-}{i}
							    PrelBase.GT{-rc9,p-}{i}
								    ->  PrelBase.GT{-rc9,p-}{i}
					      PrelBase.GT{-rc9,p-}{i}
						      ->  PrelBase.GT{-rc9,p-}{i}
			    cmp_eq_aRg
				_ _     =   IOBase.error{-87,p-}
						PrelBase.Ordering{-3o,p-}
						"Urk! in TcGenDeriv"
			{- nonrec -}
			cmp_eq_aWi =
			    cmp_eq_rK3
				[c{-aRc-}, a{-aRa-}, b{-aRb-}]
				[d.Ord_aTL, d.Ord_aTM, d.Ord_aTN]
    AbsBinds [] [] [([], <_aWa, <_aTR)]
	<_aTR
	    a_rJ7 b_rJ9
		    =   case
			    compare_aWh
				a_rJ7 b_rJ9
			of
			  PrelBase.LT{-rc8,p-}{i}
				  ->  PrelBase.True{-5E,p-}{i}
			  PrelBase.EQ{-r4C,p-}{i}
				  ->  PrelBase.False{-58,p-}{i}
			  PrelBase.GT{-rc9,p-}{i}
				  ->  PrelBase.False{-58,p-}{i}
    AbsBinds [] [] [([], <=_aW9, <=_aU3)]
	<=_aU3
	    a_rJg b_rJi
		    =   case
			    compare_aWg
				a_rJg b_rJi
			of
			  PrelBase.LT{-rc8,p-}{i}
				  ->  PrelBase.True{-5E,p-}{i}
			  PrelBase.EQ{-r4C,p-}{i}
				  ->  PrelBase.True{-5E,p-}{i}
			  PrelBase.GT{-rc9,p-}{i}
				  ->  PrelBase.False{-58,p-}{i}
    AbsBinds [] [] [([], >=_aW8, >=_aUf)]
	>=_aUf
	    a_rJp b_rJr
		    =   case
			    compare_aWf
				a_rJp b_rJr
			of
			  PrelBase.LT{-rc8,p-}{i}
				  ->  PrelBase.False{-58,p-}{i}
			  PrelBase.EQ{-r4C,p-}{i}
				  ->  PrelBase.True{-5E,p-}{i}
			  PrelBase.GT{-rc9,p-}{i}
				  ->  PrelBase.True{-5E,p-}{i}
    AbsBinds [] [] [([], >_aW7, >_aUr)]
	>_aUr
	    a_rJy b_rJA
		    =   case
			    compare_aWe
				a_rJy b_rJA
			of
			  PrelBase.LT{-rc8,p-}{i}
				  ->  PrelBase.False{-58,p-}{i}
			  PrelBase.EQ{-r4C,p-}{i}
				  ->  PrelBase.False{-58,p-}{i}
			  PrelBase.GT{-rc9,p-}{i}
				  ->  PrelBase.True{-5E,p-}{i}
    AbsBinds [] [] [([], max_aW6, max_aUD)]
	max_aUD
	    a_rJH b_rJJ
		    =   case
			    compare_aWd
				a_rJH b_rJJ
			of
			  PrelBase.LT{-rc8,p-}{i}
				  ->  b_rJJ
			  PrelBase.EQ{-r4C,p-}{i}
				  ->  a_rJH
			  PrelBase.GT{-rc9,p-}{i}
				  ->  a_rJH
    AbsBinds [] [] [([], min_aW5, min_aUQ)]
	min_aUQ
	    a_rJQ b_rJS
		    =   case
			    compare_aWc
				a_rJQ b_rJS
			of
			  PrelBase.LT{-rc8,p-}{i}
				  ->  a_rJQ
			  PrelBase.EQ{-r4C,p-}{i}
				  ->  b_rJS
			  PrelBase.GT{-rc9,p-}{i}
				  ->  b_rJS
    d.Ord_aR4 =
	({-dict-}
	 [d.Eq_aV4]
	 [compare_aWb, <_aWa, <=_aW9, >=_aW8, >_aW7, max_aW6, min_aW5])
{- nonrec -}
{- nonrec -}
AbsBinds
[a{-aLh-}]
[d.Bar_aLn]
[([a{-aLh-}], f3d{-r4D,x-}, f3d_aL9)]
    /////_aWr =
	/////{-r4Q,x-}
	    a{-aLh-}
	    d.Bar_aLn
    f3d_aL9
	x_r4j y_r4l
		=   x_r4j /////_aWr y_r4l
{- nonrec -}
{- nonrec -}
AbsBinds
[a{-aLu-}]
[d.Bar_aLA]
[([a{-aLu-}], f3c{-r4E,x-}, f3c_aLp)]
    /////_aWs =
	/////{-r4Q,x-}
	    a{-aLu-}
	    d.Bar_aLA
    f3c_aLp
	x_r4f y_r4h
		=   /////_aWs
			x_r4f y_r4h
{- nonrec -}
{- nonrec -}
AbsBinds
[a{-aLH-}]
[d.Bar_aLN]
[([a{-aLH-}], f3b{-r4F,x-}, f3b_aLC)]
    meth1_aWt =
	meth1{-r4R,x-}
	    a{-aLH-}
	    d.Bar_aLN
    f3b_aLC
	x_r4b y_r4d
		=   x_r4b meth1_aWt y_r4d
{- nonrec -}
{- nonrec -}
AbsBinds
[a{-aLU-}]
[d.Bar_aM0]
[([a{-aLU-}], f3a{-r4G,x-}, f3a_aLP)]
    meth1_aWu =
	meth1{-r4R,x-}
	    a{-aLU-}
	    d.Bar_aM0
    f3a_aLP
	x_r47 y_r49
		=   meth1_aWu
			x_r47 y_r49
{- nonrec -}
{- nonrec -}
AbsBinds
[c{-aMk-}, a{-aMn-}, b{-aMo-}]
[]
[([c{-aMk-}, a{-aMn-}, b{-aMo-}], <<<<{-r4H,x-}, <<<<_aM2)]
    <<<<_aM2
	x_r3Z y_r41
		=   :***{-ro,x-}{i}
			[a{-aMn-}, b{-aMo-}, c{-aMk-}]
			x_r3Z y_r41
    <<<<_aM2
	x_r43 y_r45
		=   :***{-ro,x-}{i}
			[a{-aMn-}, b{-aMo-}, c{-aMk-}]
			x_r43 y_r45
{- nonrec -}
{- nonrec -}
AbsBinds
[b{-aMw-}, a{-aMA-}, c{-aMC-}]
[]
[([b{-aMw-}, a{-aMA-}, c{-aMC-}], .....{-r4I,x-}, ....._aMq)]
    ....._aMq
	x_r3V y_r3X
		=   MkFoo3{-rm,x-}{i}
			[a{-aMA-}, b{-aMw-}, c{-aMC-}]
			x_r3V y_r3X
{- nonrec -}
{- nonrec -}
AbsBinds
[b{-aMK-}, a{-aMO-}, c{-aMQ-}]
[]
[([b{-aMK-}, a{-aMO-}, c{-aMQ-}], ....{-r4J,x-}, ...._aME)]
    ...._aME
	x_r3R y_r3T
		=   MkFoo3{-rm,x-}{i}
			[a{-aMO-}, b{-aMK-}, c{-aMQ-}]
			x_r3R y_r3T
{- nonrec -}
{- nonrec -}
AbsBinds
[b{-aMY-}, c{-aN1-}, a{-aN4-}]
[]
[([b{-aMY-}, c{-aN1-}, a{-aN4-}], f2a{-r4K,x-}, f2a_aMS)]
    f2a_aMS
	x_r3N y_r3P
		=   :##{-rj,x-}{i}
			[a{-aN4-}, b{-aMY-}, c{-aN1-}]
			x_r3N y_r3P
{- nonrec -}
{- nonrec -}
AbsBinds
[b{-aNc-}, c{-aNf-}, a{-aNi-}]
[]
[([b{-aNc-}, c{-aNf-}, a{-aNi-}], f2{-r4L,x-}, f2_aN6)]
    f2_aN6
	x_r3J y_r3L
		=   :##{-rj,x-}{i}
			[a{-aNi-}, b{-aNc-}, c{-aNf-}]
			x_r3J y_r3L
{- nonrec -}
{- nonrec -}
AbsBinds
[a{-aNp-}, b{-aNu-}, c{-aNw-}]
[]
[([a{-aNp-}, b{-aNu-}, c{-aNw-}], f1a{-r4M,x-}, f1a_aNk)]
    f1a_aNk
	x_r3F y_r3H
		=   MkFoo1{-rk,x-}{i}
			[a{-aNp-}, b{-aNu-}, c{-aNw-}]
			x_r3F y_r3H
{- nonrec -}
{- nonrec -}
AbsBinds
[a{-aND-}, b{-aNI-}, c{-aNK-}]
[]
[([a{-aND-}, b{-aNI-}, c{-aNK-}], f1{-r4N,x-}, f1_aNy)]
    f1_aNy
	x_r3B y_r3D
		=   MkFoo1{-rk,x-}{i}
			[a{-aND-}, b{-aNI-}, c{-aNK-}]
			x_r3B y_r3D
{- nonrec -}
{- nonrec -}
AbsBinds
[c{-aOo-}, a{-aOr-}, b{-aOs-}]
[]
[([c{-aOo-}, a{-aOr-}, b{-aOs-}],
  con2tag_Foo#_rIm,
  con2tag_Foo#_aNM)]
    con2tag_Foo#_aNM
	(MkFoo1{-rk,x-}{i} _ _)
		=   0#
    con2tag_Foo#_aNM
	(:##{-rj,x-}{i} _ _)
		=   1#
    con2tag_Foo#_aNM
	(MkFoo3{-rm,x-}{i} _ _)
		=   2#
    con2tag_Foo#_aNM
	(:***{-ro,x-}{i} _ _)
		=   3#
{- nonrec -}
Print002.hs:35: 
    Warning: Pattern match(es) completely overlapped
	in the definition of function `<<<<'
ghc: module version changed to 1; reason: no old .hi file
_interface_ Print002 1
_instance_modules_
ArrBase IO PrelNum
_usages_
PrelBase 1 :: $d14 1 $d15 1 $d32 1 $d34 1 $d37 1 $d39 1 $d41 1 $d45 1 $d46 1 $d49 1 $d51 1 $d6 1 $d7 1 $m/= 1 $m< 1 $m<= 1 $m== 1 $m> 1 $m>= 1 $mcompare 1 $mmax 1 $mmin 1 && 1 . 1 not 1 Eq 1 Eval 1 Ord 1 Ordering 1;
PrelNum 1 :: $d17 1 $d18 1;
_exports_
Print002 .... ..... <<<< f1 f1a f2 f2a f3a f3b f3c f3d Bar(meth1 ///// meth2) Bar2 Foo(MkFoo1 :## MkFoo3 :***);
_instances_
instance _forall_ [a b c] {PrelBase.Eq a, PrelBase.Eq b, PrelBase.Eq c} => {PrelBase.Eq (Foo a b c)} = $d1;
instance _forall_ [a b c] => {PrelBase.Eval (Foo a b c)} = $d2;
instance _forall_ [a b c] {PrelBase.Ord a, PrelBase.Ord b, PrelBase.Ord c} => {PrelBase.Ord (Foo a b c)} = $d3;
_declarations_
1 $d1 _:_ _forall_ [a b c] {PrelBase.Eq a, PrelBase.Eq b, PrelBase.Eq c} => {PrelBase.Eq (Foo a b c)} ;;
1 $d2 _:_ _forall_ [a b c] => {PrelBase.Eval (Foo a b c)} ;;
1 $d3 _:_ _forall_ [a b c] {PrelBase.Ord a, PrelBase.Ord b, PrelBase.Ord c, PrelBase.Eq (Foo a b c)} => {PrelBase.Ord (Foo a b c)} ;;
1 $m///// _:_ _forall_ [a] {Bar a} => a -> a -> PrelBase.Bool ;;
1 $mmeth1 _:_ _forall_ [a] {Bar a} => a -> a -> PrelBase.Bool ;;
1 $mmeth2 _:_ _forall_ [a] {Bar a} => _forall_ [b] => a -> b -> PrelBase.Bool ;;
1 .... _:_ _forall_ [a b c] => a -> a -> Foo b a c ;;
1 ..... _:_ _forall_ [a b c] => a -> a -> Foo b a c ;;
1 <<<< _:_ _forall_ [a b c] => a -> a -> Foo b c a ;;
1 class Bar r4q where {meth1 :: r4q -> r4q -> PrelBase.Bool; ///// :: r4q -> r4q -> PrelBase.Bool; meth2 :: _forall_ [r4w] => r4q -> r4w -> PrelBase.Bool} ;
class {Bar r4n} => Bar2 r4n ;
1 data Foo r4z r4A r4B = MkFoo1 r4z r4z |  :## r4A r4B |  MkFoo3 r4A r4A |  :*** r4B r4B ;
1 f1 _:_ _forall_ [a b c] => a -> a -> Foo a b c ;;
1 f1a _:_ _forall_ [a b c] => a -> a -> Foo a b c ;;
1 f2 _:_ _forall_ [a b c] => a -> b -> Foo c a b ;;
1 f2a _:_ _forall_ [a b c] => a -> b -> Foo c a b ;;
1 f3a _:_ _forall_ [a] {Bar a} => a -> a -> PrelBase.Bool ;;
1 f3b _:_ _forall_ [a] {Bar a} => a -> a -> PrelBase.Bool ;;
1 f3c _:_ _forall_ [a] {Bar a} => a -> a -> PrelBase.Bool ;;
1 f3d _:_ _forall_ [a] {Bar a} => a -> a -> PrelBase.Bool ;;