Type errors using traits.