Add section on GADTs.