We present code that to truncate the potentially infinite terms of parametric datatypes, like trees of trees of lists.