+++ /dev/null
-
-
---================================================================================
-Typechecked:
-{- nonrec -}
-{- nonrec -}
-AbsBinds
-[t{-aB8-}, t{-aBb-}, t{-aBg-}]
-[]
-[([t{-aB8-}, t{-aBb-}, t{-aBg-}], u{-r3h,x-}, u_aB2)]
- u_aB2
- x_r3d = \ (y_r3f, z_r3g)
- -> x_r3d
-{- nonrec -}
-ghc: module version changed to 1; reason: no old .hi file
-_interface_ ShouldSucceed 1
-_instance_modules_
-ArrBase IO PrelNum
-_exports_
-ShouldSucceed u;
-_declarations_
-1 u _:_ _forall_ [a b c] => c -> (a, b) -> c ;;