example of rule type parameter