| My current uses of GADTs belong to the company I work for, so it would | be easier for me if *I* could check from time to time. Is the code | publicly available? Not yet, I'm afraid. But it will be soon. Simon