>It was never clear to me why type declarations aren;t allowed in
>the private part of a P.T. They are purely compilation-time
>things and would not increase the execution overhead. What's
>the rationale for excluding them?


Here's a hint: they used to be called "protected records".

Really!