View Pit Stop page for race #28 by eddtyperacer — Ghost race
View profile for Edd (eddtyperacer)
| Official speed | 43.37 wpm (49.53 seconds elapsed during race) |
|---|---|
| Race Start | March 15, 2025 9:56:07am UTC |
| Race Finish | March 15, 2025 9:56:57am UTC |
| Outcome | No win (3 of 3) |
| Accuracy | 93.0% |
| Points | 21.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)()); |