-Typechecked:
-AbsBinds [ot2] [] [(q.t1, ShouldSucceed.q)]
- {- nonrec -}
- q.t1 :: ot2 -> ot2
- q.t1 = \ y.r54 -> y.r54
+
+--================================================================================
+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 ;;