path: root/testsuite/tests/typecheck/should_fail/T12906.hs

x :: String -> String
x s = print (reverse s + 1)

myshow :: (String -> String) -> String
myshow x = show x