Data.Rewriting.Term.Type
data
Term
f v
fold
map