I want to define a new composite type with exactly the same fields as another type. Is there an easy way to do this? The original type is not parametric.
Alternatively, is there a way I can figure out the type of a field of a composite type Foo without constructing an object of type Foo? -Simon
