forall

I’m beginning to understand how the forall keyword is used in so-called “existential types” like this: data ShowBox = forall s. Show s => SB s This is only...