8
Що робить ключове слово `forall` у Haskell / GHC?
Я починаю розуміти, як forallключове слово використовується в так званих "екзистенціальних типах", як це: data ShowBox = forall s. Show s => SB s Однак це лише підмножина способів forallвикористання, і я просто не можу обернути розум навколо його використання в таких речах: runST :: forall a. (forall s. ST …