No scratch that, It won't work because I need it to check an existing parse tree in `neverModifyParseTree_t1001326`. I need to make it happy with the dependent type signature