2 ms·Amulet's New Type Checker13 points by hydraz 9y agoskybrian 9y agoI wonder if this approach results in good error messages?