24 points by polywolf
It’s fun to translate these examples to Haskell as well! (Using ExistentialQuantification.)