Haskell / GHC의`forall` 키워드는 무엇을합니까? 다음 forall과 같이 소위 "존재 유형"에서 키워드가 사용되는 방식을 이해하기 시작 했습니다. data ShowBox = forall s. Show s => SB s 그러나 이것은 forall사용 방법의 일부일 뿐이며 다음과 같은 용도로 내 마음을 감쌀 수는 없습니다. runST :: forall a. (forall s. ST s a) -> a 또는 왜 이것이 다른지 설명하십시오. foo :: (forall a. a -> a) -> (Char, Bool) bar :: forall a. ((a -> a) -> (Char, Bool)) 아니면 모든 RankNTypes것들 ... 학업 환경에서 일반적으로 사용되는 언어보다는 명확하고 전문 용어..