Wyślij wiadomość: Generic Programming for Domain Reasoners