A terse, yet easy to follow walk through some of the higher-level GHC language extensions. Features DataKinds, TypeFamilies, and UndecidableInstances among others.