module Sign(main) where
import Prelude

main :: IO ()
main = return ()

f :: Int -> Int
f x = x + head ([] :: [Int])

g :: forall a b . a -> [a]
g x = [] :: [a]