úÎ g    Safe-InferedA Selector> is a predicate; it can simultaneously constrain the type and  value of an exception. actual `shouldBe` expected asserts that actual is equal to expected  (this is just an alias for  ). v ` shouldSatisfy` p asserts that p v is True. action ` shouldThrow` selector asserts that action throws an exception. : The precise nature of that exception is described with a .     Safe-Infered         test-shouldbe-0.1.0Test.HUnit.ShouldBeTest.HUnit.ShouldBe.ContribSelectorshouldBe shouldSatisfy shouldThrow anyException anyErrorCall errorCallanyIOExceptionanyArithExceptionisLeftisRight HUnit-1.2.4.2Test.HUnit.Base@?=