"Phase 5: "By letting a constraint solver figure out the mundane details, I can write programs by describing what I want, rather than how to give it to me""

This is one of the best arguments for why anyone should bother to learn Haskell (or likewise language)