So we should let users ignore traits and just say they want an object or type, and then we convert that to a trait.