mf-apply (racket): PLT Redex lang-extension for checked metafunction application
Keywords: lang-extension|redex|utility