Type definition

[Cláudio Amaral]

Can one define polymorphic type definitions?

For example:

poly_tree   I::integer  B::type
           empty
        | {branch, [B], poly_tree(I,B),poly_tree(I,B)}

where [B] is a list with I elements


Regards,
Cláudio