+++ /dev/null
-
-
---================================================================================
-Typechecked:
-{- nonrec -}
-{- rec -}
-AbsBinds [t{-an2-}] [] [([t{-an2-}], x{-r1,x-}, x_an0)]
- (x_an0@_)
- = x_an0
-{- nonrec -}
-ghc: module version changed to 1; reason: no old .hi file
-_interface_ ShouldSucceed 1
-_instance_modules_
-ArrBase IO PrelNum
-_exports_
-ShouldSucceed x;
-_declarations_
-1 x _:_ _forall_ [a] => a ;;