First version of GADT post.
Second draft of blog post.