--================================================================================
Typechecked:
{- nonrec -}
d.Num_aHu =
    PrelBase.$d3{-rbi,p-}
{- nonrec -}
AbsBinds
[a{-aH2-}, b{-aH5-}]
[d.Num_aHd]
[([b{-aH5-}, a{-aH2-}], g{-r3h,x-}, g_aGY)]
    d.Num_aHf =
	d.Num_aHd
    +_aHG =
	PrelBase.+{-rcQ,p-}
	    a{-aH2-}
	    d.Num_aHf
    d.Num_aHh =
	d.Num_aHd
    -_aHF =
	PrelBase.-{-817,p-}
	    a{-aH2-}
	    d.Num_aHh
    g_aGY
	b_r3l x_r3n y_r3p
		=   if b_r3l then x_r3n +_aHG x_r3n else x_r3n -_aHF x_r3n
{- nonrec -}
{- nonrec -}
AbsBinds [b{-aHp-}] [] [([b{-aHp-}], f{-r3j,x-}, f_aHj)]
    g_aHH =
	g{-r3h,x-}
	    [b{-aHp-}, PrelBase.Int{-3g,p-}]
	    d.Num_aHu
    f_aHj
	=   g_aHH PrelBase.True{-5E,p-}{i}
{- nonrec -}
{- nonrec -}
AbsBinds [b{-aHE-}] [] [([b{-aHE-}], h{-r3i,x-}, h_aHw)]
    h_aHw
	y_r3r x_r3t
		=   f{-r3j,x-}
			b{-aHE-} x_r3t y_r3r
{- nonrec -}
ghc: module version changed to 1; reason: no old .hi file
_interface_ Foo 1
_instance_modules_
ArrBase IO PrelNum
_usages_
PrelBase 1 :: $d1 1 $d11 1 $d15 1 $d2 1 $d21 1 $d27 1 $d3 1 $d32 1 $d33 1 $d37 1 $d38 1 $d39 1 $d41 1 $d42 1 $d44 1 $d46 1 $d54 1 $d7 1 $d8 1 Eq 1 Eval 1 Num 1 Show 1 String 1;
PrelNum 1 :: $d10 1 $d16 1 $d18 1 $d29 1 $d33 1 $d35 1;
_exports_
Foo f g h;
_declarations_
1 f _:_ _forall_ [a] => PrelBase.Int -> a -> PrelBase.Int ;;
1 g _:_ _forall_ [a b] {PrelBase.Num b} => PrelBase.Bool -> b -> a -> b ;;
1 h _:_ _forall_ [a] => a -> PrelBase.Int -> PrelBase.Int ;;