data Dummy a = Dummy a

f :: Dummy Int -> Int
f = _