Re: GADTs with strict fields?