Data.Rewriting.Rule.Type
data
Rule
f v