Is there an easy way to define a new class, X, of types which is a class
of some range of types in an existing class Y.  

For example can you define a class PosNum in which the type in the class
are positive Ints, positive Integers, positive Floats and positive
Doubles?  

Reply via email to