4 ms·

> That’s just how type programming looks. Then that is an argument to do less of it. Or at least to back off and learn to write better types that are not a mes

> That’s just how type programming looks. Then that is an argument to do less of it. Or at least to back off and learn to write better types that are not a mess.