I wouldn't say HBM is entirely out of the picture for a future pro machine - if apple decide to be in that market at that level.
HBM was good for 1TB/sec memory bandwidth in shipping product like 4-5 years ago (multiple packages), so as a high speed cache for larger memory pools it may be viable (newer HBM standards are faster). But Apple probably aren't going to bother going down that path due to complexity.
It would be interesting though.