3 ms·

Okasaki's book is in ML, so any laziness he needs will be explicitly annotated with thunks or functions.