4 ms·

Thanks, I intentionally chose examples where types are particularly useful, like monads and conduits (and apparently null elimination).