deeglaze

#lang racket

(require racket/trace
         (for-syntax syntax/parse))
;; 0CFA in the AAM style on some hairy Church numeral churning

;; Soundness, but at what cost?

(define <- (case-lambda))
(begin-for-syntax