Monomorphic trait coercion

r? @nikomatsakis (last commit)