type annotation for parseLet