unless, you're proposing a global implicits dictionary a-la Haskell, leave them alone, I much prefer to give up subtyping...