Materials for upcoming HaskellDC talk on GADTs