Trait abstracting over Mutex and RefCell?

There's a good explanation here: Lifetimes on Associated Types - #3 by huon