Larks comments on Type Checking GiveWell’s GiveDirectly Cost Effective Analysis