MicroHs-0.9.2.0: tests/Sign.hs

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]