Implementation of Functional Pearl "Using Circular Programs for Higher-Order Syntax"