The first you posted definitely works, I used to use them in my old house. But, afaik, no way to integrate into Alexa. The second is interesting. Insteon is *old* school, it was the successor to X10. Doesn't mean it won't work - it might be perfectly fine. You'll need their hub. Either one requires the same kind of rewiring of the fan as I described for the Shellys. But they'll get you fan speed control, which is nice.