Apa kata kunci `forall` dalam Haskell / GHC?

Saya mulai memahami bagaimana forallkata kunci digunakan dalam apa yang disebut "tipe eksistensial" seperti ini: data ShowBox = forall s. Show s => SB s Namun, ini hanya sebagian dari cara forallpenggunaannya dan saya tidak bisa menggunakan pikiran saya dalam hal-hal seperti ini: runST ::...