"Production-ready mailserver" is horribly broad (for starters, outgoing mail or incoming mail?), but Ansible Galaxy has lots of mail-related roles. For example, Zabbix: https://galaxy.ansible.com/list#/roles/1879
I don't see an iredmail role, but having used Ansible previously, if you can install it chances are you can write an Ansible playbook for it.