Publish Andres's GADT posting.