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