--================================================================================
Typechecked:
{- nonrec -}
{- nonrec -}
AbsBinds
[t{-anm-}, t{-ano-}]
[]
[([t{-anm-}, t{-ano-}], k{-r3o,x-}, k_ane)]
    k_ane
	x_r3l y_r3n
		=   x_r3l
{- nonrec -}
{- nonrec -}
AbsBinds
[t{-anM-}, t{-anO-}, t{-anQ-}]
[]
[([t{-anM-}, t{-anO-}, t{-anQ-}], s{-r3p,x-}, s_anq)]
    s_anq
	f_r3f g_r3h x_r3j
		=   f_r3f x_r3j g_r3h x_r3j
{- nonrec -}
{- nonrec -}
AbsBinds [t{-ao5-}] [] [([t{-ao5-}], main{-r3q,x-}, main_anS)]
    main_anS
	=   s{-r3p,x-}
		[t{-ao5-}, GHC.Void{-3T,p-} -> t{-ao5-}, t{-ao5-}] k{-r3o,x-}
								       [t{-ao5-}, GHC.Void{-3T,p-}
										  -> t{-ao5-}]
								   k{-r3o,x-}
								       [t{-ao5-}, GHC.Void{-3T,p-}]
{- nonrec -}
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
ArrBase IO PrelNum
_exports_
ShouldSucceed k main s;
_declarations_
1 k _:_ _forall_ [a b] => a -> b -> a ;;
1 main _:_ _forall_ [a] => a -> a ;;
1 s _:_ _forall_ [a b c] => (a -> b -> c) -> (a -> b) -> a -> c ;;