import Prelude hiding ( (^) )

(^) :: a -> b -> c
(^) '\n' True = "no"
-- ... others

main = do
  print $ 0 ^ "foo"

Error occurred
ERROR line 4 - Inferred type is not general enough
*** Expression    : (^)
*** Expected type : a -> b -> c
*** Inferred type : Char -> Bool -> [Char]