3 ms·Oh, I think I just confused refinement types with dependent types. The above still stands though.by slightknack 6y agoOh, I think I just confused refinement types with dependent types. The above still stands though.