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

-- #8806

module T8806 where

f :: Int => Int
f x = x + 1

g :: (Int => Show a) => Int
g = undefined