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