3 ms·Agreed. I think this is where dependent types become useful, but that is a whole can of worms.by munchler 3y agoAgreed. I think this is where dependent types become useful, but that is a whole can of worms.