All of them are trying to create something which seems declarative on top of a mutable system.

In my experience, it only works decently well when a special care is taken of when writing playbooks.