3 ms·

I guess that's one of the benefits of a great type system. Thanks for the detailed explanation.

• mrkgnao 9y ago
  Yup. A good one isn't enough, though, it's the constant evolution that's awesome: type/data families are pretty new.