Ary Borenszweig
Ary Borenszweig
@igrigorik Thank you for replying, I'll take a look at the examples and see if I can port something to Crystal.
This can already be done with `Module::get_parent`, which returns `None` if it's the root.
Aaah... good point, thanks, I misread.
I think code that involves generics is already pretty complex to want to make the type system more complex. But I think @waj likes these ideas so I'll leave this...