Some experimentation with serializing ADT's