Haskell 键入(<;-)结果的提示

Haskell 键入(<;-)结果的提示,haskell,io,Haskell,Io,我发现添加类型提示对于调试很有用,但我不知道如何使用来实现这一点,因为您不能这样做,因为使用-XScopedTypeVariables,您可以使用(foo::String)使用-XScopedTypeVariables,您可以使用(foo::String)为了完整性,我想补充 action :: IO () action = do foo <- getLine let bar :: String bar = foo print bar action::IO()

我发现添加类型提示对于调试很有用,但我不知道如何使用
来实现这一点,因为您不能这样做,因为使用
-XScopedTypeVariables
,您可以使用
(foo::String)使用
-XScopedTypeVariables
,您可以使用
(foo::String)为了完整性,我想补充

action :: IO ()
action = do
  foo <- getLine
  let bar :: String 
      bar = foo
  print bar
action::IO()
动作=做

foo为了完整性,我想补充

action :: IO ()
action = do
  foo <- getLine
  let bar :: String 
      bar = foo
  print bar
action::IO()
动作=做
福
action :: IO ()
action = do
    foo :: String <- getLine
    ...
action :: IO ()
action = do
  foo <- getLine
  let bar :: String 
      bar = foo
  print bar