Into the core – squeezing Haskell into nine constructors
youtube.com