There's another thread that ended up discussing that just now: Future: On value-based generic arguments for functions - #8 by jrose.
There's another thread that ended up discussing that just now: Future: On value-based generic arguments for functions - #8 by jrose.