3 ms·

I'm not sure how I feel about it honestly. I suppose in a dependently typed language there'd be some allowance for `IO Type`.