インタープリターから次のスニペットがあります。
type Ident = String
type Value = Int
type State = Ident -> Value
iniState :: State
iniState = \ident -> error "internal error initial state"
updateS :: State -> (Ident, Value) -> State
updateS s (ident, val) ident' | ident' == ident = val
| otherwise = s ident'
updateS のパターンの ident はどこから来るのですか?