tree instance is parametric