Unify the types for traits correctly.