Maybe the addition of generics could enable Concurrent ML-style composable channels? This wouldn't solve the performance issue, but at least it would provide a

Maybe the addition of generics could enable Concurrent ML-style composable channels? This wouldn't solve the performance issue, but at least it would provide a nice abstraction for protocols.