6 ms·

I think you can get the benefits of type safety while still using type inference or macros to avoid type impl explosion