3 ms·This is cool, but isn't it more like refinement types?by jpfed 9y agoThis is cool, but isn't it more like refinement types?