3 ms·

Interesting, thanks! I hadn't considered using "forall a. a" as the bottom type, but it makes sense.