>It’s sub-optimal because it has to type-erase, where a lambda allows the compiler to do much better

Bind doesn't have to type erase nor in fact does on any of the implementations I'm familiar of.