What does the `forall` keyword in Haskell/GHC do?
- by JUST MY correct OPINION
I've been banging my head on this one for (quite literally) years now. I'm beginning to kinda/sorta understand how the foreach keyword is used in so-called "existential types" like this:
data ShowBox = forall s. Show s => SB s
(This despite the confusingly-worded explanations of it in the fragments found all around the web.)
This is only a…