--================================================================================
Typechecked:
{- nonrec -}
{- nonrec -}
AbsBinds [t{-ana-}] [] [([t{-ana-}], iD{-r3f,x-}, iD_an4)]
    iD_an4
	x_r3e   =   x_r3e
{- nonrec -}
{- nonrec -}
AbsBinds [t{-anh-}] [] [([t{-anh-}], main{-r3g,x-}, main_anc)]
    main_anc
	=   iD{-r3f,x-}
		(t{-anh-} -> t{-anh-}) iD{-r3f,x-}
					   t{-anh-}
{- nonrec -}
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
ArrBase IO PrelNum
_exports_
ShouldSucceed iD main;
_declarations_
1 iD _:_ _forall_ [a] => a -> a ;;
1 main _:_ _forall_ [a] => a -> a ;;