I think this would be solved by type constraints o...
# language-proposals
c
I think this would be solved by type constraints on companion objects