funcons-lambda-cbv-mp-0.1.0.2: programs/ast-lam.cbv

letdown astlam = Lam (Bind "x") (Bound "x")
 in $(astlam) 42