[yonik]

> exception type should have all the abilities of a struct

Looking at it again, exceptions need many of the abilities of a class (since structs don't inherit, and don't have a base class with which to treat them polymorphicly.