Improve docs for GADTs