Operations that work on concrete types are always going to be simpler for the compiler to reason about than those involving protocols, but we'd still like to do better here.