It’s necessary in two scenarios: firstly, if you want to define multiple subtypes of AbstractVariables and want to define generic methods that accept all subtypes, and secondly, if you expect other packages to subtype AbstractVariables and use the functions defined in your package.
3 Likes