jose (jose_benito)

Race #9

Official speed	21.15 wpm (101.56 seconds elapsed during race)
Race Start	November 5, 2024 2:55:16am UTC
Race Finish	November 5, 2024 2:56:57am UTC
Outcome	No win (5 of 10)
Opponents	2. js_3l (31.01 wpm) 3. mau_r_123 (27.85 wpm) 4. karol_mm (24.73 wpm)
Accuracy	95.0%
Points	10.57
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)());