8 Haskell / GHC의`forall` 키워드는 무엇을합니까? 다음 forall과 같이 소위 "존재 유형"에서 키워드가 사용되는 방식을 이해하기 시작 했습니다. data ShowBox = forall s. Show s => SB s 그러나 이것은 forall사용 방법의 일부일 뿐이며 다음과 같은 용도로 내 마음을 감쌀 수는 없습니다. runST :: forall a. (forall s. ST s a) -> a 또는 왜 이것이 … 312 haskell syntax types ghc forall