Subtypes or parametric types to define constructor-dependent functions

Yes, I guess you are right not to trust the newbie here :slight_smile:

This thread touches upon a similar topic (in case you haven’t seen it already):