runST 및 함수 구성 이 유형 검사가 수행되는 이유는 다음과 같습니다. runST $ return $ True 다음은 그렇지 않습니다. runST . return $ True GHCI는 다음과 같이 불평합니다. Couldn't match expected type `forall s. ST s c0' with actual type `m0 a0' Expected type: a0 -> forall s. ST s c0 Actual type: a0 -> m0 a0 In the second argument of `(.)', namely `return' In the expression: runST . return 짧은 대답은 유형 추론이 항상 상위 유형에서 작동하는 것은 아니라는 것입니다. 이 경우 유형을 유추할 ..