-==================== Typechecked ====================
-AbsBinds [takQ] [] [([takQ], f{-r3g,x-}, f_aky)]
- f_aky PrelBase.[]{-5i,w-}{i} = PrelBase.[]{-5i,w-}{i} takQ
- f_aky (x_r3e PrelBase.:{-55,w-}{i} xs_r3f)
- = PrelBase.:{-55,w-}{i} takQ x_r3e (f_aky xs_r3f)
-
ghc: module version changed to 1; reason: no old .hi file
-_interface_ ShouldSucceed 1
-_instance_modules_
-ArrBase IO PrelNum
-_exports_
-ShouldSucceed f;
-_declarations_
-1 f _:_ _forall_ [ta] => [ta] -> [ta] ;;
+__export ShouldSucceed f;
+1 f :: __forall [t] => [t] -> [t] ;