Generalized Template Haskell generated tree child assertions.