Minor, but missing `@type` annotations for the members defined in L33-L35.