3 ms·

I've just peeked at this book again, and I noticed that they do start with ghci. They're very up-front about its peculiarities, though.