(let ((y {b=(lambda (x) x)}))
  (let ((id y.b))
    (id #\A)))