-==================== Typechecked ====================
-AbsBinds [takG] [] [([takG], q{-r3e,x-}, q_akw)]
- q_akw = \ y_r3d -> y_r3d
-
-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_ [ta] => ta -> ta ;;
+__export ShouldSucceed q;
+1 q :: __forall [t] => t -> t ;