-==================== Typechecked ====================
-AbsBinds [takw] [] [([takw], x{-r1,x-}, x_aku)]
- (x_aku@_) = x_aku
-
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_ [ta] => ta ;;
+1 x _:_ _forall_ [a] => a ;;