Split out the "assumed" trait, and implement it for parameters too