--================================================================================
Typechecked:
{- nonrec -}
{- nonrec -}
AbsBinds
[t{-ano-}, t{-anq-}]
[]
[([t{-ano-}, t{-anq-}], k{-r3q,x-}, k_ang)]
    k_ang
	x_r3n y_r3p
		=   x_r3n
{- nonrec -}
{- nonrec -}
AbsBinds
[t{-anO-}, t{-anQ-}, t{-anS-}]
[]
[([t{-anO-}, t{-anQ-}, t{-anS-}], s{-r3r,x-}, s_ans)]
    s_ans
	f_r3h g_r3j x_r3l
		=   f_r3h x_r3l g_r3j x_r3l
{- nonrec -}
{- nonrec -}
AbsBinds [t{-ao8-}] [] [([t{-ao8-}], main{-r3s,x-}, main_anU)]
    main_anU
	x_r3f   =   s{-r3r,x-}
			[t{-ao8-}, GHC.Void{-3T,p-} -> t{-ao8-}, t{-ao8-}] k{-r3q,x-}
									       [t{-ao8-}, GHC.Void{-3T,p-}
											  -> t{-ao8-}]
									   k{-r3q,x-}
									       [t{-ao8-}, GHC.Void{-3T,p-}]
									   x_r3f
{- 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 ;;