--================================================================================
Typechecked:
{- nonrec -}
{- nonrec -}
AbsBinds [t{-an8-}] [] [([t{-an8-}], q{-r3e,x-}, q_an2)]
    q_an2
	=   \ y_r3d   ->  y_r3d
{- nonrec -}
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
ArrBase IO PrelNum
_exports_
ShouldSucceed q;
_declarations_
1 q _:_ _forall_ [a] => a -> a ;;