What does the `forall` keyword in Haskell/GHC do?
I’m beginning to understand how the forall keyword is used in so-called “existential types” like this: data ShowBox = forall s. Show s … Read more
I’m beginning to understand how the forall keyword is used in so-called “existential types” like this: data ShowBox = forall s. Show s … Read more