--================================================================================
Typechecked:
{- nonrec -}
{- rec -}
AbsBinds [t{-ana-}] [] [([t{-ana-}], f{-r3g,x-}, f_an4)]
    f_an4
	PrelBase.[]{-5i,p-}{i}
		=   PrelBase.[]{-5i,p-}{i}
			t{-ana-}
    f_an4
	(x_r3e PrelBase.:{-55,p-}{i} xs_r3f)
		=   PrelBase.:{-55,p-}{i}
			t{-ana-}
			x_r3e (f_an4 xs_r3f)
{- nonrec -}
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucc 1
_instance_modules_
ArrBase IO PrelNum
_exports_
ShouldSucc f;
_declarations_
1 f _:_ _forall_ [a] => [a] -> [a] ;;