3 ms·

parametric polymorphism also give you "theorems for free" if you choose the right places to put your abstractions.