define trait type explicitly