> types. But the subjective evidence from other languages that *do* have > effect types is that they very rapidly become an impediment to > usability, and I am very concerned that this might happen in BitC. clueless question: can they be optional in the language? so that it is pay-as-you-go? sincerely.