RE: GADTs with strict fields?