In reply to dave_59:
Hi Dave,
I was expecting A Type to be have a value of real.
Example from LRM :
class D4 #(type P = C#(real)) extends P; // for default, T is real
I also found this text in one of your paper. Yin and Yan of OOP.
Parameters applied to
the extended class may propagate up to the base class.