View Pit Stop page for race #1 by jun0sck — Ghost race
View profile for jun (jun0sck)
| Official speed | 46.59 wpm (46.10 seconds elapsed during race) |
|---|---|
| Race Start | September 30, 2025 10:59:45am UTC |
| Race Finish | September 30, 2025 11:00:31am UTC |
| Outcome | Win (1 of 3) |
| Accuracy | 97.0% |
| Points | 23.30 |
| 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)()); |