Standard Model Effective Field Theory: integrating out a generic scalar | Synapse