4 ms·

FTA: > We’re also exploring some further additions to the type system to make generic programming easier.