Effective portals to heavy neutral leptons | Synapse