22 ms·

I agree in re: "In practice, there are often types that your type system can't express." That's central.