-Typechecked:
+--================================================================================
+Typechecked:
+{- nonrec -}
+ghc: module version changed to 1; reason: no old .hi file
+_interface_ ShouldSucceed 1
+_instance_modules_
+ArrBase IO PrelNum
+_exports_
+ShouldSucceed G H;
+_declarations_
+1 type G = (H, PrelBase.Char) ;
+1 type H = [PrelBase.Bool] ;