I finally watched “C++17: I See a Monad in Your Future” and it was rather nice (at least in 1.8 times speed): https://www.youtube.com/watch?v=BFnhhPehpKw I finally also learned why the auto syntax exists (to allow specifying a return type that depends on the argument).