(j3.2006) Is this or is this not F95-standard conformant?

[Van Snyder]

On Wed, 2010-11-10 at 18:25 -0800, Malcolm Cohen wrote:
> 
> > An alternative is to declare a parameter to use to specify the kind of V
> > components of objects of type T, in the module where T is defined, and
> > access that parameter by use association where I need the kind of
> > h%x(something)%v.
> >
> > I was hoping for something simpler.
> 
> That seems to me to be the epitome of simple!

Simple is in the eye of the beholder.  One measure of the complexity of
a module is the number of public names it has.

Saying "I want the kind of A to be the same as the kind of a component
of a component of the kind of B" is simpler than saying "Here's the type
of A, and here's the kind of B" and not having a clue that (and how)
they are related until you go and look at the module that exports the
type of A.