I’ve been a big proponent of HP Procurve switches in the enterprise but if cloud connectivity is going to be a requirement then I’d rather just go in with Cisco/meraki.
Avoiding the confusing licensing/connectivity requirements were why I used procurve in the first place