As a former ansible user -- I'm completely there. There are lot of things to like about ansible but the unwieldy ad-hoc non-composable task description language and the lack of static verification for anything makes the whole experience so much worse than what I think is possible in this space. Ansible has a 'fact gathering' stage which is the first thing that happens after connecting to a host -- I've been dreaming about a system that is capable of leveraging an execution model like ansible's for 'gathering facts' from a set of hosts -- and then turning those facts into statically analyzable types in the context of some (statically typed) language -- with convenient language-level/library-level interfaces for expressing common orchestration/system-admin/stateful-scripting logic. I think such a system would be _EPIC_ to use.