testMap :: (Bool -> String) -> (Int -> Bool) -> [Int] -> Bool testMap f g x = map (f . g) x == map f (map g x)
[1]
Main> ourCheck testMap OK, passed 500 tests.
[1] You will also need
instance Show (a -> b) where show _ = "<<function>>"