Locals without MonomorphismRestriction

{-# LANGUAGE NoMonomorphismRestriction #-}

main :: IO ()
main =
    let x = 1 in
    print (x :: Int, x :: Double)