data Foo a = Foo a

f :: Foo a -> a
f = \Foo a -> a 

main = "Not to be executed"
--
5:6-5:11: Arity is 1 but 2 patterns have been given.