3 ms·

For those interested in modular implicits, see http://www.lpw25.net/ml2014.pdf http://www.lpw25.net/ml2014.pdf