mr_penguin (mr_penguin01)

Race #24

View Pit Stop page for race #24 by mr_penguin01 — Ghost race

View profile for mr_penguin (mr_penguin01)

Official speed 43.20 wpm (49.72 seconds elapsed during race)
Race Start September 21, 2025 3:06:04pm UTC
Race Finish September 21, 2025 3:06:54pm UTC
Outcome No win (3 of 3)
Accuracy 94.0%
Points 21.60
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)());