Locals with MonomorphismRestriction
{-# LANGUAGE MonomorphismRestriction #-}
main :: IO ()
main =
let x = 1 in
print (x :: Int, x :: Double)
INFO
{-# LANGUAGE MonomorphismRestriction #-}
main :: IO ()
main =
let x = 1 in
print (x :: Int, x :: Double)