Charlie (hobboloydn)

Race #141

View Pit Stop page for race #141 by hobboloydn — Ghost race

View profile for Charlie (hobboloydn)

Official speed 43.38 wpm (49.52 seconds elapsed during race)
Race Start April 30, 2025 11:56:01am UTC
Race Finish April 30, 2025 11:56:50am UTC
Outcome No win (3 of 3)
Accuracy 94.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)());