Adam Binks comments on Type Checking GiveWell’s GiveDirectly Cost Effective Analysis