Demonstrate parametric higher-order abstract syntax