ETest : Typeby : (a -> a -> Bool) -> TestValues a -> EqValues arunTests : List ETest -> IO ()(>>) : List ETest -> List ETest -> List ETestpure : Testing a -> List ETesttest : String -> Eq a => TestValues a -> List ETesttestEq : String -> EqValues a -> List ETestshouldBe : a -> a -> TestValues aand : TestValues a -> TestValues b -> TestValues (a, b)or : TestValues a -> TestValues b -> TestValues (OrValues a b).shouldBeTrue : Bool -> TestValues Bool.shouldBeFalse : Bool -> TestValues Bool