Add a post about GADTs in API design