==================== Typechecked ====================
MkAFE{-r3S,x-}{i} =
    _/\_ n_tr3K a_tr3L b_tr3M -> \ tpl_B1 ->
	MkAFE{-r3S,x-}{i} {_@_ n_tr3K _@_ a_tr3L _@_ b_tr3M tpl_B1}
MkFG{-r3U,x-}{i} =
    _/\_ a_tr3O b_tr3P -> \ tpl_B1 ->
	MkFG{-r3U,x-}{i} {_@_ a_tr3O _@_ b_tr3P tpl_B1}
MkOL{-r3W,x-}{i} =
    _/\_ a_tr3R -> \ tpl_B1 -> MkOL{-r3W,x-}{i} {_@_ a_tr3R tpl_B1}
AbsBinds [taRj, taRm] [] [([taRj, taRm], sNd{-r3u,x-}, sNd_aR9)]
    sNd_aR9 (f_r3F, s_r3G) = s_r3G
AbsBinds [taRL, taRP] [] [([taRL, taRP], mAp{-r3v,x-}, mAp_aRp)]
    mAp_aRp f_r3z PrelBase.[]{-5i,w-}{i} = PrelBase.[]{-5i,w-}{i} taRP
    mAp_aRp f_r3B (x_r3C PrelBase.:{-55,w-}{i} xs_r3D)
	    = PrelBase.:{-55,w-}{i} taRP (f_r3B x_r3C) (mAp_aRp f_r3B xs_r3D)
AbsBinds
[taS5, taS6]
[]
[([taS5, taS6], ranOAL{-r3s,x-}, ranOAL_aS0)]
    ranOAL_aS0 (MkOL{-r3W,x-}{i} xs_r3x)
	       = mAp{-r3v,x-} [(taS5, taS6), taS6] sNd{-r3u,x-} [taS5, taS6]
						   xs_r3x
AbsBinds
[taSy, taSz, taSA]
[]
[([taSy, taSz, taSA], ranAFE{-r3t,x-}, ranAFE_aSp)]
    ranAFE_aSp (MkAFE{-r3S,x-}{i} nfs_r3I)
	       = ranOAL{-r3s,x-} [taSy, FG{-r3V,x-} taSz taSA] nfs_r3I
AbsBinds
[taT1, taT3, taT2]
[]
[([taT1, taT3, taT2], $d1{-rTd,x-}, d.Eval_aSN)]
    d.Eval_aSN = ({-dict-} [] [])
AbsBinds [taT4, taT5] [] [([taT4, taT5], $d2{-rTc,x-}, d.Eval_aSU)]
    d.Eval_aSU = ({-dict-} [] [])
AbsBinds [taT6] [] [([taT6], $d3{-rTb,x-}, d.Eval_aT0)]
    d.Eval_aT0 = ({-dict-} [] [])

ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
ArrBase IO PrelNum
_usages_
PrelBase 1 :: $d2 1 $d38 1 $d40 1 $d42 1 $d45 1 $d47 1 Eval 1;
PrelTup 1 :: $d13 1;
_exports_
ShouldSucceed mAp ranAFE ranOAL sNd AFE(MkAFE) FG(MkFG) OL(MkOL);
_instances_
instance _forall_ [n a b] => {PrelBase.Eval (AFE n a b)} = $d1;
instance _forall_ [a b] => {PrelBase.Eval (FG a b)} = $d2;
instance _forall_ [a] => {PrelBase.Eval (OL a)} = $d3;
_declarations_
1 $d1 _:_ _forall_ [n a b] => {PrelBase.Eval (AFE n a b)} ;;
1 $d2 _:_ _forall_ [a b] => {PrelBase.Eval (FG a b)} ;;
1 $d3 _:_ _forall_ [a] => {PrelBase.Eval (OL a)} ;;
1 data AFE n a b = MkAFE (OL (n, FG a b)) ;
1 data FG a b = MkFG (OL (a, b)) ;
1 data OL a = MkOL [a] ;
1 mAp _:_ _forall_ [ta tb] => (ta -> tb) -> [ta] -> [tb] ;;
1 ranAFE _:_ _forall_ [ta tb tc] => AFE ta tb tc -> [FG tb tc] ;;
1 ranOAL _:_ _forall_ [ta tb] => OL (ta, tb) -> [tb] ;;
1 sNd _:_ _forall_ [ta tb] => (ta, tb) -> tb ;;