4 ms·

I'm hoping the author of FPiLean adds enough to the book to let the language function as a competitor to Haskel.