J Gary (jgary199)

Race #8

View Pit Stop page for race #8 by jgary199 — Ghost race

View profile for J Gary (jgary199)

Official speed 27.38 wpm (78.45 seconds elapsed during race)
Race Start May 20, 2025 1:52:11pm UTC
Race Finish May 20, 2025 1:53:29pm UTC
Outcome No win (2 of 3)
Accuracy 90.0%
Points 13.69
Text #10023 (Length: 179 characters)

auto monad = [](auto v) { return [=] { return v; }; }; auto bind = [](auto m) { return [=](auto fvm) { return fvm(m()); }; }; static_assert(bind(monad(2))(monad)() == monad(2)());