Allow TR `lambda` to have a result type annotation