我试图在Haskell中学习IO，我发现它非常混乱。在 “使用decodeByName：“ 下浏览了cassava documentation on hackage

{-# LANGUAGE OverloadedStrings #-}

import Control.Applicative
import qualified Data.ByteString.Lazy as BL
import Data.Csv
import qualified Data.Vector as V

data Person = Person
    { name   :: !String
    , salary :: !Int
    }

instance FromNamedRecord Person where
    parseNamedRecord r = Person <$> r .: "name" <*> r .: "salary"

main :: IO ()
main = do
    csvData <- BL.readFile "salaries.csv"
    case decodeByName csvData of
        Left err -> putStrLn err
        Right (_, v) -> V.forM_ v $ \ p ->
            putStrLn $ name p ++ " earns " ++ show (salary p) ++ " dollars"

字符串
我有两个问题
1.在Person的声明中，他们用了!String而不是String，为什么？我用String运行了同样的例子，结果没有什么不同。堆栈构建器网站上的教程也使用了!。我在这里遗漏了什么？
1.在main函数中，

Right (_, v) -> V.forM_ v $ \ p ->
            putStrLn $ name p ++ " earns " ++ show (salary p) ++ " dollars"

型
做什么？
我知道post $ \ p是一个匿名函数，它将p中的名称和p中的salary串联起来，显示salary，因为它是一个整数。
p代表什么？它是一个元组，一个变量吗？他们是否使用p作为Person的数据结构？
表达式Right (_, v) -> V.forM_ v的含义是什么？