This has to be the shallowest possible analysis you could have given this issue

Not disagreeing here. Moreover I'm not really sure comparing these two on syntax makes a lot of sense: comparing an homoiconic language with a non-homoiconic one from the syntax point of view is weird. Then the main difference between these two languages is related to typing IMHO.

If you want the benefits of homoiconicity in Haskell, there's a Liskell project (not sure how good it is yet but it certainly is interesting).