--================================================================================
Typechecked:
{- nonrec -}
{- nonrec -}
AbsBinds
[t{-aBv-}, t{-aBy-}]
[]
[([t{-aBv-}, t{-aBy-}], sd{-r3y,x-}, sd_aBq)]
    sd_aBq
	(f_r3u, s_r3v)
		=   s_r3v
{- nonrec -}
{- rec -}
AbsBinds
[t{-aBI-}, t{-aBK-}]
[]
[([t{-aBI-}, t{-aBK-}], mp{-r3z,x-}, mp_aBC)]
    mp_aBC
	f_r3m PrelBase.[]{-5i,p-}{i}
		=   PrelBase.[]{-5i,p-}{i}
			t{-aBK-}
    mp_aBC
	f_r3p (x_r3r PrelBase.:{-55,p-}{i} xs_r3s)
		=   PrelBase.:{-55,p-}{i}
			t{-aBK-}
			(f_r3p x_r3r) (mp_aBC f_r3p xs_r3s)
{- nonrec -}
{- nonrec -}
AbsBinds
[t{-aCo-}, t{-aCk-}, t{-aCm-}]
[]
[([t{-aCo-}, t{-aCk-}, t{-aCm-}], f{-r3A,x-}, f_aC0)]
    f_aC0
	x_r3g   =   ranOAL_r3i
			[t{-aCk-}, t{-aCm-}]
		where
		    {- nonrec -}
		    AbsBinds
		    [t{-aCb-}, t{-aCd-}]
		    []
		    [([t{-aCb-}, t{-aCd-}], ranOAL_r3i, ranOAL_aC4)]
			ranOAL_aC4
			    xs_r3k  =   mp{-r3z,x-}
					    [(t{-aCb-}, t{-aCd-}), t{-aCd-}] sd{-r3y,x-}
										 [t{-aCb-}, t{-aCd-}]
									     xs_r3k
		    {- nonrec -}
{- nonrec -}
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
ArrBase IO PrelNum
_exports_
ShouldSucceed f mp sd OL;
_declarations_
1 type OL r3x = [r3x] ;
1 f _:_ _forall_ [a b c] => a -> [(b, c)] -> [c] ;;
1 mp _:_ _forall_ [a b] => (a -> b) -> [a] -> [b] ;;
1 sd _:_ _forall_ [a b] => (a, b) -> b ;;